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