1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 22, 5–27 (1998)
2. Banbara, M.: Design and Implementation of Linear Logic Programming Languages. Ph.D. Dissertation, The Graduate School of Science and Technology, Kobe University (2002)
3. Bibel, W., Cerro, L.F., Fronhofer, B., Herzig, A.: Plan Generation by Linear Proofs: On Semantics. In: Proceedings of GWAI, pp. 49–62 (1989)
4. Chrpa, L.: Linear Logic: Foundations, Applications and Implementations. In: Proceedings of workshop CICLOPS, pp. 110–124 (2006)
5. Chrpa, L.: Linear logic in planning. In: Proceedings of Doctoral Consorcium ICAPS, pp. 26–29 (2006)