%0 Conference Paper %1 conf/isaac/EiterIM98 %A Eiter, Thomas %A Ibaraki, Toshihide %A Makino, Kazuhisa %B ISAAC %D 1998 %E Chwa, Kyung-Yong %E Ibarra, Oscar H. %I Springer %K dblp %P 49-58 %T Disjunctions of Horn Theories and Their Cores. %U http://dblp.uni-trier.de/db/conf/isaac/isaac98.html#EiterIM98 %V 1533 %@ 3-540-65385-6

@inproceedings{conf/isaac/EiterIM98, added-at = {2017-05-19T00:00:00.000+0200}, author = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa}, biburl = {https://www.bibsonomy.org/bibtex/2a5151d351496eec6d82541e47e4e4a83/dblp}, booktitle = {ISAAC}, crossref = {conf/isaac/1998}, editor = {Chwa, Kyung-Yong and Ibarra, Oscar H.}, ee = {https://doi.org/10.1007/3-540-49381-6_7}, interhash = {5127fb265c7e369acc34dc4e966a7d9a}, intrahash = {a5151d351496eec6d82541e47e4e4a83}, isbn = {3-540-65385-6}, keywords = {dblp}, pages = {49-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:56:47.000+0200}, title = {Disjunctions of Horn Theories and Their Cores.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac98.html#EiterIM98}, volume = 1533, year = 1998 }