Mark Stefik Planning with Constraints (MOLGEN: Part 1). 111-140 1981 16 Artif. Intell. 2 db/journals/ai/ai16.html#Stefik81