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