Authors: HIBTI M LEGEARD B LOMBARDI H

Citation: M. Hibti et al., A DECISION-PROCESS FOR THE SATISFIABILITY PROBLEM IN A UNIVERSE OF HEREDITARILY FINITE SETS, Informatique theorique et applications, 31(3), 1997, pp. 205-236