A new logical framework for deductive planning - Stephan, Werner; Biundo-Stephan, Susanne 1955- (1992)