A Minimal Predicative Set Theory. - Franco Montagna; Antonella Mancini (Notre Dame J. Formal Log., 1994)

A Note on Recursive Models of Set Theories. - Antonella Mancini; Domenico Zambella (Notre Dame J. Formal Log., 2001)