Completeness of Proof Systems for Equational Specifications

David B. MacQueen, Donald Sannella. Completeness of Proof Systems for Equational Specifications. IEEE Trans. Software Eng., 11(5):454-461, 1985.

Abstract

Abstract is missing.