- David A. Wolfram, Michael J. Maher, Jean-Louis Lassez:
A Unified Treatment of Resolution Strategies for Logic Programs. ICLP 1984: 263-276 - Sten-Åke Tärnlund:
Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984. Uppsala University 1984 [contents]