@article{FPM_1996_2_3_a8,
     author = {T. L. Plotkin and B. I. Plotkin and S. Kraus},
     title = {Algebraic logic in database state description},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {875--910},
     publisher = {mathdoc},
     volume = {2},
     number = {3},
     year = {1996},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_1996_2_3_a8/}
}