Michael Tolkin
Corín Tellado
William H. Flanigan
Symposium on Logic Programming (2nd 1985 Boston, Mass.)