Cantone, Omodeo, & Policriti. Set theory for computing: From decision procedures to declarative programming with sets.
Chicago Style (17th ed.) CitationCantone, Omodeo, and Policriti. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. ItalylbDomenico cantonelc2001.
MLA (9th ed.) CitationCantone, et al. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets.
Warning: These citations may not always be 100% accurate.