An Experiment in Programming with Full First-Order Logic.

Zerksis D. Umrigar Vijay Pitchumani An Experiment in Programming with Full First-Order Logic. 40-47 1985 SLP db/conf/slp/slp85.html#UmrigarP85