EiterIM98'

BibTeX

@inproceedings{DBLP:conf/isaac/EiterIM98,
  author    = {Thomas Eiter and
               Toshihide Ibaraki and
               Kazuhisa Makino},
  title     = {Disjunctions of Horn Theories and Their Cores},
  booktitle = {ISAAC},
  year      = {1998},
  pages     = {49-58},
  ee        = {http://dx.doi.org/10.1007/3-540-49381-6_7},
  crossref  = {DBLP:conf/isaac/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isaac/1998,
  editor    = {Kyung-Yong Chwa and
               Oscar H. Ibarra},
  title     = {Algorithms and Computation, 9th International Symposium,
               ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings},
  booktitle = {ISAAC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1533},
  year      = {1998},
  isbn      = {3-540-65385-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}