The following publications are possibly variants of this publication:
- Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean CaseDomenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo. FUIN, 181(1):37-69, 2021. [doi]
- Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languagesDomenico Cantone, Pietro Maugeri, Eugenio G. Omodeo. TCS, 954:113786, 2023. [doi]