Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement finiM. Hibti, B. Legeard and H. LombardiRAIRO-Theor. Inf. Appl., 31 3 (1997) 205-236DOI: https://doi.org/10.1051/ita/1997310302051
