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