Reasoning with Axioms: Theory and Pratice

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/corr/cs-LO-0005012, title={Reasoning with Axioms: Theory and Pratice}, ee={http://arxiv.org/abs/cs.LO/0005012}, year={2000}, journal={CoRR}, volume={cs.LO/0005012}, url={http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr0005.html#cs-LO-0005012}, note={informal publication}, author={Ian Horrocks and Stephan Tobies} }\end{bibtex}