Stephen Cranefield A Logical Framework for Practical Planning. 633-637 1992 conf/ecai/1992 ECAI db/conf/ecai/ecai92.html#Cranefield92