A uni®ed treatment of resolution strategies for logic programs (1984)

by D A Wolfram, M J Maher, J-L Lassez
Venue:in: Proceedings of the Second International Conference on Logic Programming