Partition-based logical reasoning (2000)

by E Amir, S McIlraith
Venue:In International Conference on the Principles of Knowledge Representation and Reasoning (KR