Goguen, J. A. and Meseguer, J. "Equality, Types, Modules, and (why not?) Generics for Logic Programming" pp179-210

Journal of Logic Programming   Joseph Goguen

Languages mentioned EQLog {1986}