Universal algebra, algebraic logic and databases (1994)

by B Plotkin