The second author was supported in part by ESPRIT within basic research action MEDLAR-II under grant no. 6471 and by the Deutsche Forschungsgemeinschaft (DFG) within project KONNEKTIONSBEWEISER under grant no. Bi 228/6-1

S. Hölldobler. On Deductive Planning and the Frame Problem. In A. Voronkov, editor, Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR), volume 624 of LNAI, pages 13–29. Springer-Verlag, July 1992.

14.

S. Hölldobler and J. Schneeberger. A New Deductive Approach to Planning. New Generation Computing, 8:225–244, 1990.