Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991

• Brzoska, C. (1991) Brzoska, C. "Temporal logic programming and its relation to constraint logic programming" pp661-677
• Harland J. and D. Pym, (1991) Harland J. and D. Pym, "The Uniform Proof-theoretic Foundation of Linear Logic Programming" (Extended Abstract), pp304-318
• S. Janson et al (1991) S. Janson et al "Programming Paradigms of the Andorra Kernel Language"
• Sverker Janson and Seif Haridi. (1991) Sverker Janson and Seif Haridi. "An Introduction to AKL - A Multi-Paradigm Programming Language"