and José Meseguer. Completeness of many-sorted equational logic (1982)

by Joseph A Goguen
Venue:SRI International Computer Science Laboratory, 333 Ravenswood Ave., Menlo Park, CA 94025