@inproceedings{ mp-ijcai03,
  title = {Practical Partition-Based Theorem Proving for Large Knowledge Bases}
}
,
  url = {mp-ijcai03.pdf}
}
,
  booktitle = {Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03)}
}
,
  author = {MacCartney, B. and McIlraith, S. and Amir, E. and Uribe, T.}
}
,
  year = {2003}
}
,
  month = {August 9-15}
}
,
  address = {Acapulco, Mexico}
}
,
  pages = {89-98}
}