1. On computing minimal models;Ben-Eliyahu;Ann. Math. Artificial Intelligence,1996
2. Algorithms for propositional KB approximation;Boufkhad,1998
3. On the complexity of model finding for nonmonotonic propositional logics;Cadoli,1992
4. Semantical and computational aspects of Horn approximations;Cadoli,1993
5. A survey on knowledge compilation;Cadoli;AI Communications—The European Journal on Artificial Intelligence,1997