O'Donnell, Michael J. "Survey of the equational logic programming project" In Colloquium on Resolution of Equations in Algebraic Structures, 1987

Languages mentioned

• ELP {1975}