Disjunctions of Horn Theories and Their Cores.

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Browse the full ISAAC paper archive.