Completeness of many-sorted equational logic revisited.

Peter Padawitz Martin Wirsing Completeness of many-sorted equational logic revisited. 88-93 1984 24 Bulletin of the EATCS db/journals/eatcs/eatcs24.html#PadawitzW84