%0 Thesis %1 phd/us/Ferro81 %A Ferro, Alfredo %D 1981 %K dblp %T Decision Procedures for some Classes of Unquantified Set Theoretic Formulae.

@phdthesis{phd/us/Ferro81, added-at = {2022-05-12T00:00:00.000+0200}, author = {Ferro, Alfredo}, biburl = {https://www.bibsonomy.org/bibtex/21ceb21267d15f059f4ea9eeac4ff444c/dblp}, interhash = {b40b571fcb0c8cd0aac4effd52b310a4}, intrahash = {1ceb21267d15f059f4ea9eeac4ff444c}, keywords = {dblp}, school = {New York University, USA}, timestamp = {2024-04-09T08:02:47.000+0200}, title = {Decision Procedures for some Classes of Unquantified Set Theoretic Formulae.}, year = 1981 }