EQLOG: Equality, Types, and Generic Modules for Logic Programming (1986)

by J A Goguen, J Mesaguer
Venue:Logic Programming: Functions, Relations, and Equations, Prentice-Hall