A unified treatment of resolution strategies for logic programs (1984)

by D A Wolfram, M J Maher, J-L Lassez
Venue:Proc. Second Int. Conf. on Logic Programming