TY  - JOUR
AU  - T. L. Plotkin
AU  - B. I. Plotkin
AU  - S. Kraus
TI  - Algebraic logic in database state description
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1996
SP  - 875
EP  - 910
VL  - 2
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1996_2_3_a8/
LA  - ru
ID  - FPM_1996_2_3_a8
ER  -