"Equational Logic Programming: An Extension to Equational Programming."

Jia-Huai You, P. A. Subrahmanyam (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics