1. Bibel, W. (1981). On Matrices with Connections. Journal of the ACM, 28: 633+.
2. Bibel, W. (1986). A deductive solution for plan generation. New Generation Computing, 4: 115+.
3. Bibel, W. (1998). Let’s plan it deductively! Artificial Intelligence, 103 (1–2): 183+.
4. Bibel, W., del Cerro, L. F., Fronhöfer, B., and Herzig, A. (1989). Plan generation by linear proofs: on semantics. In Proc. of the German Workshop on Artificial Intelligence, pages 49–62. Springer, Informatik Fachberichte 216.
5. Bomscheuer, S.-E., Thielscher, M. (1997). Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems. Journal of Logic Programming, 31 (1–3): 119+.