External Links

    Journal: Journal of Automated Reasoning

    Volume 18, Issue 3

    297 -- 336Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas. Computing Circumscription Revisited: A Reduction Algorithm
    337 -- 356Anavai Ramesh, George Becker, Neil V. Murray. CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates
    357 -- 398Marek A. Suchenek. Evaluation of Queries under Closed-World Assumption
    399 -- 442Dieter Hutter. Coloring Terms to Control Equational Reasoning
    runs on