conference paper · Lecture notes in computer science · 1998

Disjunctions of Horn Theories and Their Cores

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Cited by 5Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Eiter, T., Ibaraki, T., & Makino, K. (1998). Disjunctions of Horn Theories and Their Cores. Lecture notes in computer science, 50–60. https://doi.org/10.1007/3-540-49381-6_7

MLA 9

Eiter, Thomas, et al. “Disjunctions of Horn Theories and Their Cores.” Lecture notes in computer science, 1998, pp. 50–60, https://doi.org/10.1007/3-540-49381-6_7.

Chicago

Eiter, Thomas, Toshihide Ibaraki, and Kazuhisa Makino. 1998. “Disjunctions of Horn Theories and Their Cores.” Lecture notes in computer science: 50–60. https://doi.org/10.1007/3-540-49381-6_7.

Harvard

Eiter, T., Ibaraki, T. and Makino, K. (1998) ‘Disjunctions of Horn Theories and Their Cores’, Lecture notes in computer science, pp. 50–60. Available at: https://doi.org/10.1007/3-540-49381-6_7.

BibTeX

@article{eiter1998disjunctions,
  title = {{Disjunctions of Horn Theories and Their Cores}},
  author = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa},
  journal = {Lecture notes in computer science},
  pages = {50--60},
  year = {1998},
  doi = {10.1007/3-540-49381-6_7}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.