Practical partitionbased theorem proving for large knowledge bases (2003)

by B MacCartney, S A McIlraith, E Amir, T E Uribe