1. D. Cantone and V. Cutello . 1989. Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection . Bull. EATCS 39 , ( 1989 ), 139–148. D. Cantone and V. Cutello. 1989. Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection. Bull. EATCS 39, (1989), 139–148.
2. D. Cantone , V. Cutello , and A. Policriti . 1989. Set-theoretic reductions of Hilbert’s tenth problem . In 3rd Workshop on Computer Science Logic. 65–75 . D. Cantone, V. Cutello, and A. Policriti. 1989. Set-theoretic reductions of Hilbert’s tenth problem. In 3rd Workshop on Computer Science Logic. 65–75.
3. D. Cantone , V. Cutello , and J. T. Schwartz . 1990. Decision problems for Tarski’s and Presburger’s arithmetics extended with sets . In 3rd Workshop on Computer Science Logic (CSL’90) . 95–109. D. Cantone, V. Cutello, and J. T. Schwartz. 1990. Decision problems for Tarski’s and Presburger’s arithmetics extended with sets. In 3rd Workshop on Computer Science Logic (CSL’90). 95–109.
4. D. Cantone , A. De Domenico , P. Maugeri , and E. G. Omodeo . 2019. Polynomial-time satisfiability tests for Boolean fragments of set theory . In 34th Italian Conference on Computational Logic. 123–137 . CEUR-WS.org. D. Cantone, A. De Domenico, P. Maugeri, and E. G. Omodeo. 2019. Polynomial-time satisfiability tests for Boolean fragments of set theory. In 34th Italian Conference on Computational Logic. 123–137. CEUR-WS.org.