Completeness of calculi for axiomatically defined classes of algebras, Algebra Universalis 2 (1972)

by A Selman