Computing Circumscription Revisited : A Reduction Algorithm
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates*
Evaluation of Queries under Closed-World Assumption
Coloring Terms to Control Equational Reasoning