Thomas Eiter, Kazuhisa Makino. New Results for Horn Cores and Envelopes of Horn Disjunctions. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris, editors, ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. Volume 178 of Frontiers in Artificial Intelligence and Applications, pages 60-64, IOS Press, 2008. [doi]
@inproceedings{EiterM08, title = {New Results for Horn Cores and Envelopes of Horn Disjunctions}, author = {Thomas Eiter and Kazuhisa Makino}, year = {2008}, doi = {10.3233/978-1-58603-891-5-60}, url = {http://dx.doi.org/10.3233/978-1-58603-891-5-60}, researchr = {https://researchr.org/publication/EiterM08}, cites = {0}, citedby = {0}, pages = {60-64}, booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, volume = {178}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-58603-891-5}, }