David B. MacQueen, Donald Sannella. Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng., 11(5):454-461, 1985.
@article{MacQueenS85, title = {Completeness of Proof Systems for Equational Specifications}, author = {David B. MacQueen and Donald Sannella}, year = {1985}, tags = {completeness, equational proofs}, researchr = {https://researchr.org/publication/MacQueenS85}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {11}, number = {5}, pages = {454-461}, }