"An Experiment in Programming with Full First-Order Logic."

Zerksis D. Umrigar, Vijay Pitchumani (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics