%0 Journal Article %1 journals/corr/cs-LO-0005012 %A Horrocks, Ian %A Tobies, Stephan %D 2000 %J CoRR %K %T Reasoning with Axioms: Theory and Pratice %U http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005012 %V cs.LO/0005012

@article{journals/corr/cs-LO-0005012, added-at = {2023-12-12T18:43:59.000+0100}, author = {Horrocks, Ian and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/28b0b9bd06177d067420fcd5d3036bdc2/admin}, ee = {https://arxiv.org/abs/cs/0005012}, interhash = {16763c7abfb4aa2d1aa318bb10faf71a}, intrahash = {8b0b9bd06177d067420fcd5d3036bdc2}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T18:43:59.000+0100}, title = {Reasoning with Axioms: Theory and Pratice}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005012}, volume = {cs.LO/0005012}, year = 2000 }