Truth Tables for a Combinatorial Kernel of Set Theories. - Eugenio G. Omodeo; Franco Parlamento; Alberto Policriti (ECAI, 1990)

Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. - Franco Parlamento; Alberto Policriti (J. Autom. Reason., 1991)

Expressing Infinity Without Foundation. - Franco Parlamento; Alberto Policriti (J. Symb. Log., 1991)

The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation. - Franco Parlamento; Alberto Policriti (Math. Log. Q., 1992)

A Derived Algorithm for Evaluating varepsilon-Expressions over Abstract Sets. - Eugenio G. Omodeo; Franco Parlamento; Alberto Policriti (J. Symb. Comput., 1993)

Decidability and Completeness for Open Formulas of Membership Theories. - Dorella Bellè; Franco Parlamento (Notre Dame J. Formal Log., 1995)

Decidability of ∃*∀-Sentences in Membership Theories. - Eugenio G. Omodeo; Franco Parlamento; Alberto Policriti (Math. Log. Q., 1996)

The Decidability of the ∀*∃ Class and the Axiom of Foundation. - Dorella Bellè; Franco Parlamento (Notre Dame J. Formal Log., 2001)

Truth in V for ∃*∀∀-sentences is decidable. - Dorella Bellè; Franco Parlamento (J. Symb. Log., 2006)

Decidability of ∃*∀∀-sentences in HF. - Dorella Bellè; Franco Parlamento (Notre Dame J. Formal Log., 2008)

Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. - Franco Parlamento; Flavio Previale (ICLA, 2013)

Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality. - Franco Parlamento (Notre Dame J. Formal Log., 2014)

The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality. - Franco Parlamento; Flavio Previale (CoRR, 2017)

Absorbing the structural rules in the sequent calculus with additional atomic rules. - Franco Parlamento; Flavio Previale (Arch. Math. Log., 2020)

The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality. - Franco Parlamento; Flavio Previale (Rev. Symb. Log., 2021)

A note on the Sequent Calculi. - Franco Parlamento; Flavio Previale (Rev. Symb. Log., 2022)