1. Brüning, S., Hölldobler, S., Schneeberger, J., Sigmund, U., Thielscher, M.: Disjunction in Resource-Oriented Deductive Planning. Technical Report AIDA-93-03, Technische Hochschule Darmstadt, Germany (1994)
2. Cresswell, S., Smaill, A., Richardson, J.: Deductive Synthesis of Recursive Plans in Linear Logic. In: Proceedings of the Fifth European Conference on Planning, pp. 252–264 (1999)
3. Grosse, G., Hölldobler, S., Schneeberger, J.: Linear Deductive Planning. Journal of Logic and Computation 6, 232–262 (1996)
4. Jacopin, É.: Classical AI planning as theorem proving: The case of a fragment of Linear Logic. In: AAAI Fall Symposium on Automated Deduction in Nonstandard Logics, Palo Alto, California, pp. 62–66. AAAI Press, Menlo Park (1993)
5. Kanovich, M.I.: Linear Logic as a Logic of Computations. Annals of Pure and Applied Logic 67, 183–212 (1994)