%0 Conference Paper %1 conf/ecai/EiterM08 %A Eiter, Thomas %A Makino, Kazuhisa %B ECAI %D 2008 %E Ghallab, Malik %E Spyropoulos, Constantine D. %E Fakotakis, Nikos %E Avouris, Nikolaos M. %I IOS Press %K dblp %P 60-64 %T New Results for Horn Cores and Envelopes of Horn Disjunctions. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2008.html#EiterM08 %V 178 %@ 978-1-58603-891-5

@inproceedings{conf/ecai/EiterM08, added-at = {2009-01-30T00:00:00.000+0100}, author = {Eiter, Thomas and Makino, Kazuhisa}, biburl = {https://www.bibsonomy.org/bibtex/28d6978f1d9e686699f964158d8666513/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2008}, date = {2009-01-30}, description = {dblp}, editor = {Ghallab, Malik and Spyropoulos, Constantine D. and Fakotakis, Nikos and Avouris, Nikolaos M.}, ee = {http://dx.doi.org/10.3233/978-1-58603-891-5-60}, interhash = {f3a691e2f5f6f5e48ec147cafa5e2e64}, intrahash = {8d6978f1d9e686699f964158d8666513}, isbn = {978-1-58603-891-5}, keywords = {dblp}, pages = {60-64}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2009-02-13T11:33:49.000+0100}, title = {New Results for Horn Cores and Envelopes of Horn Disjunctions.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2008.html#EiterM08}, volume = 178, year = 2008 }