@misc{https://doi.org/10.22029/jlupub-7000, doi = {10.22029/JLUPUB-7000}, url = {https://jlupub.ub.uni-giessen.de//handle/jlupub/7566}, author = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa and {Justus Liebig University Giessen}}, keywords = {ddc:004}, language = {en}, title = {Computing intersections of Horn theories for reasoning with models}, publisher = {Universitätsbibliothek Gießen}, year = {1998}, copyright = {In Copyright} }