Vincenzo Manca, Antonino Salibra. Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. Theoretical Computer Science, 94(1):101-124, 1992.
@article{MancaS92, title = {Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets}, author = {Vincenzo Manca and Antonino Salibra}, year = {1992}, tags = {completeness, algebra}, researchr = {https://researchr.org/publication/MancaS92}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {94}, number = {1}, pages = {101-124}, }