Title
On Warren's Method for Functional Programming in Logic
Document Type
Conference Proceeding
Publication Date
6-1990
Publication Title
Proceedings of the Seventh International Conference on Logic Programming (ICLP)
Conference or Event
Seventh International Conference on Logic Programming (ICLP)
Department
Mathematics and Computer Science
Citation
Mantis H. M. Cheng, Maarten H. van Emden, and Brad E. Richards. "On Warren's method for functional programming in logic." In the Proceedings of the Seventh International Conference on Logic Programming (ICLP), pp. 547-560, June 1990.
COinS