Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino. On the Difference of Horn Theories. In Christoph Meinel, Sophie Tison, editors, STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings. Volume 1563 of Lecture Notes in Computer Science, pages 467-477, Springer, 1999. [doi]
@inproceedings{EiterIM99,
title = {On the Difference of Horn Theories},
author = {Thomas Eiter and Toshihide Ibaraki and Kazuhisa Makino},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1563/15630467.htm},
researchr = {https://researchr.org/publication/EiterIM99},
cites = {0},
citedby = {0},
pages = {467-477},
booktitle = {STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings},
editor = {Christoph Meinel and Sophie Tison},
volume = {1563},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}