Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino. Disjunctions of Horn Theories and Their Cores. SIAM Journal on Computing, 31(1):269-288, 2001. [doi]
@article{EiterIM01,
title = {Disjunctions of Horn Theories and Their Cores},
author = {Thomas Eiter and Toshihide Ibaraki and Kazuhisa Makino},
year = {2001},
url = {http://epubs.siam.org/sam-bin/dbq/article/35084},
researchr = {https://researchr.org/publication/EiterIM01},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {31},
number = {1},
pages = {269-288},
}