On Warren's Method for Functional Programming in Logic. - Mantis H. M. Cheng; Maarten H. van Emden; B. E. Richards (ICLP, 1990)