B. Plotkin

Universal Algebra, Algebraic Logic, and Databases