Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe. Practical Partition-Based Theorem Proving for Large Knowledge Bases. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 89-98, Morgan Kaufmann, 2003.
@inproceedings{MacCartneyMAU03, title = {Practical Partition-Based Theorem Proving for Large Knowledge Bases}, author = {Bill MacCartney and Sheila A. McIlraith and Eyal Amir and Tomás E. Uribe}, year = {2003}, tags = {rule-based, e-science, partitioning}, researchr = {https://researchr.org/publication/MacCartneyMAU03}, cites = {0}, citedby = {0}, pages = {89-98}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, editor = {Georg Gottlob and Toby Walsh}, publisher = {Morgan Kaufmann}, }