Zerksis D. Umrigar, Vijay Pitchumani
An Experiment in Programming with Full First-Order Logic
ICLP, 1985.
@inproceedings{SLP-1985-UmrigarP85, author = "Zerksis D. Umrigar and Vijay Pitchumani", booktitle = "{Proceedings of the Second Symposium on Logic Programming}", isbn = "0-8186-0636-3", pages = "40--47", publisher = "{IEEE-CS}", title = "{An Experiment in Programming with Full First-Order Logic}", year = 1985, }