%0 Journal Article
%A Hibti, M.
%A Legeard, B.
%A Lombardi, H.
%T Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1997
%P 205-236
%V 31
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1997__31_3_205_0/
%G fr
%F ITA_1997__31_3_205_0