Ginsberg, Matthew L. and
Parker, Andrew J. 2000.
“Satisfiability Algorithms and Finite Quantification.” in
KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G.
Cohn, Fausto
Giunchiglia, and Bart
Selman, pp. 690–701. San Francisco, California: Morgan Kaufmann Publishers.