Transitive Venn diagrams with applications to the decision problem in set theory. - Domenico Cantone; Eugenio G. Omodeo; Pietro Ursino (APPIA-GULP-PRODE, 1999)

Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. - Domenico Cantone; Pietro Ursino; Eugenio G. Omodeo (Inf. Comput., 2002)

Notes from the Logbook of a Proof-Checker's Project. - Domenico Cantone; Eugenio G. Omodeo; Jacob T. Schwartz; Pietro Ursino (Verification: Theory and Practice, 2003)

Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate. - Domenico Cantone; Pietro Ursino (Inf. Comput., 2014)

An Introduction to the Technique of Formative Processes in Set Theory - Domenico Cantone; Pietro Ursino (Springer, 2018)

Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups. - Sergio Cacciatori; Pietro Ursino (Axioms, 2022)

Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. - Domenico Cantone; Pietro Ursino (ACM Trans. Comput. Log., 2024)