Completeness of many-sorted equational logic.

Joseph A. Goguen José Meseguer Completeness of many-sorted equational logic. 9-17 1982 17 SIGPLAN Notices 1 db/journals/sigplan/sigplan17.html#GoguenM82