Liste des citations dans Numdam pour : -satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Rendiconti del Seminario Matematico della Università di Padova, Tome 66 (1982), pp. 7-19.
Rendiconti del Seminario Matematico della Università di Padova, Tome 70 (1983), pp. 133-145.