Matthew L. Ginsberg, Andrew J. Parkes
Satisfiability Algorithms and Finite Quantification
KR, 2000.
@inproceedings{KR-2000-GinsbergP,
author = "Matthew L. Ginsberg and Andrew J. Parkes",
booktitle = "{Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning}",
pages = "690--701",
publisher = "{Morgan Kaufmann}",
title = "{Satisfiability Algorithms and Finite Quantification}",
year = 2000,
}