1. C. Baral and M. Gelfond. Representing Concurrent Actions in Extended Logic Programming. In R. Bajcsy, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 866–871, Chambéry, August 1993. Morgan Kaufmann.
2. W. Bibel. A Deductive Solution for Plan Generation. New Generation Computing, 4:115–132, 1986.
3. W. Bibel. A Deductive Solution for Plan Generation. In J. W. Schmidt and C. Thanos, editors, Foundations of Knowledge Base Management, pages 453–473. Springer, 1989.
4. W. Bibel, L. F. del Cerro, B. Fronhöfer, and A. Herzig. Plan generation by linear proofs: on semantics. In Proceedings of the German Workshop on Artificial Intelligence, pages 49–62. Springer, Informatik Fachberichte 216, 1989.
5. S.-E. Bornscheuer and M. Thielscher. Representing Concurrent Actions and Solving Conflicts. In L. Drechler-Fischer and B. Nebel, editors, Proceedings of the German Annual Conference on Artificial Intelligence (KI), Saarbrücken, September 1994. Springer-Verlag. (Selected Paper).