Completeness of many-sorted equational logic (1985)

by J Goguen, J Meseguer
Venue:Houston Journal of Mathematics