Equational logic and equational theories of algebras (1968)

by A Tarski
Venue:Contributions to Mathematical Logic