%0 Journal Article
%A Tetruashvili, M.
%T Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator.
%J Georgian Mathematical Journal
%D 1996
%P 97-100
%V 3
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/GMJ_1996__3_1_47540/
%G en
%F GMJ_1996__3_1_47540