Authors: Cantone, D Zarba, CG

Citation: D. Cantone et Cg. Zarba, A new fast tableau-based decision procedure for an unquantified fragment of set theory, LECT N A I, 1761, 2000, pp. 126-136