New Results for Horn Cores and Envelopes of Horn Disjunctions.

Thomas Eiter, Kazuhisa Makino

Browse the full ECAI paper archive.