A deductive solution for plan generation (1986)

by Wolfgang Bibel
Venue:New Generation Computing