EQLOG: equality, types and generic modules for logic programming (0)

by J Goguen, J Meseguer
Venue:In Logic Programming: Functions, Relations, and Equations (1986), Prentice-Hall