Jayaraman B. and F.S.K. Silbermann, "Equations, Sets, and Reduction Semantics for Functional and Logic Programming" pp320-331

[ACM] (1986) Conference Record of the 1986 ACM Symposium on Lisp and Functional Programming, August 1986  

Languages mentioned EqL {1989}