Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards
On Warren’s Method for Functional Programming in Logic
ICLP, 1990.
@inproceedings{CLP-1990-ChengER90,
author = "Mantis H. M. Cheng and Maarten H. van Emden and B. E. Richards",
booktitle = "{Proceedings of the Seventh International Conference on Logic Programming}",
isbn = "0-262-73090-1",
pages = "546--560",
publisher = "{MIT Press}",
title = "{On Warren’s Method for Functional Programming in Logic}",
year = 1990,
}