Werner Stephan Susanne Biundo A New Logical framework for Deductive Planning. 32-38 1993 IJCAI db/conf/ijcai/ijcai93.html#StephanB93