Amar, Eyal and
McIlraith, Sheila A. 2000.
“Partition-Based Logical Reasoning.” in
KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G.
Cohn, Fausto
Giunchiglia, and Bart
Selman, pp. 389–400. San Francisco, California: Morgan Kaufmann Publishers.