Equational logic and equational theories of algebras (1966)

by A Tarski
Venue:Proc. Logic Colloq. 11