Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo. Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput., 172(2):165-201, 2002. [doi]
@article{CantoneUO02, title = {Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators}, author = {Domenico Cantone and Pietro Ursino and Eugenio G. Omodeo}, year = {2002}, url = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.3096}, researchr = {https://researchr.org/publication/CantoneUO02}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {172}, number = {2}, pages = {165-201}, }