Peter Padawitz, Martin Wirsing. Completeness of many-sorted equational logic revisited. Bulletin of the EATCS, 24:88-93, 1984.
@article{PadawitzW84, title = {Completeness of many-sorted equational logic revisited}, author = {Peter Padawitz and Martin Wirsing}, year = {1984}, tags = {completeness, logic}, researchr = {https://researchr.org/publication/PadawitzW84}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {24}, pages = {88-93}, }