Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica Francesca Scozzari (2000) Bollettino dell'Unione Matematica Italiana
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini M. Hibti, B. Legeard, H. Lombardi (1997) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications