Complexity of the decidability of the unquantified set theory with a rank operator. Tetruashvili, M. — 1994 Georgian Mathematical Journal

Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator. Tetruashvili, M. — 1996 Georgian Mathematical Journal