Completeness of Calculii for Axiomatically Defined Classes of Algebras, Algebra Universalis 2 (1972)

by A Selman