Peter Jonsson;Christer Bäckström
-;-
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Tractable plan existence does not imply tractable plan generation
Annals of Mathematics and Artificial Intelligence