Jeffrey Van Baalen
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures
KR, 1991.
@inproceedings{KR-1991-Baalen,
author = "Jeffrey Van Baalen",
booktitle = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-165-1",
pages = "514--525",
publisher = "{Morgan Kaufmann}",
title = "{The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures}",
year = 1991,
}