Partition-based logical reasoning (2000)

by E Amir, S A McIlraith
Venue:In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning