Werner Stephan, Susanne Biundo. A New Logical Framework for deductive Planning. In Alexander Horz, editor, Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg. Volume 723 of Arbeitspapiere der GMD, pages 27-38, GMD, 1993.
Abstract is missing.