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

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)