Umrigar, Zerksis D. and Pitchumani, Vijay (1985). An experiment in programming with full first-order logic. In Symposium of Logic Programming, Boston, MA. IEEE Computer Society Press.
author author author author author author date title title title title title title title title booktitle booktitle booktitle booktitle booktitle location location publisher publisher publisher publisher