"On Warren's Method for Functional Programming in Logic."

Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics