Universal algebra, algebraic logic, and databases / by B. Plotkin ; [translated by J. Cirulis, A. Nenashev and V. Pototsky].    Dordrecht :  Kluwer Academic Publishers,  c1994 . xv, 438 s.