Goguen, Joseph and Meseguer, José "EQLog: Equality, Types and Generic Modules for Logic Programming" pp295-363

DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986   Joseph Goguen

Languages mentioned EQLog {1986}