Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo. Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership. Theoretical Computer Science, 848:28-46, 2020. [doi]
@article{CantoneMO20,
title = {Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership},
author = {Domenico Cantone and Pietro Maugeri and Eugenio G. Omodeo},
year = {2020},
doi = {10.1016/j.tcs.2020.08.023},
url = {https://doi.org/10.1016/j.tcs.2020.08.023},
researchr = {https://researchr.org/publication/CantoneMO20},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {848},
pages = {28-46},
}