TY  - JOUR
AU  - Tetruashvili, M.
TI  - Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator.
JO  - Georgian Mathematical Journal
PY  - 1996
SP  - 97
EP  - 100
VL  - 3
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/GMJ_1996__3_1_47540/
LA  - en
ID  - GMJ_1996__3_1_47540
ER  -