Computing Circumscription Revisited: A Reduction Algorithm Patrick DohertyWitold ŁukaszewiczAndrzej SzaŁas OriginalPaper Pages: 297 - 336
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates Anavai RameshGeorge BeckerNeil V. Murray OriginalPaper Pages: 337 - 356