Equational Logic Programming: An Extension to Equational Programming.

Jia-Huai You, P. A. Subrahmanyam

Browse the full POPL paper archive.