@inproceedings { 83,
	title = {An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT},
	booktitle = {7th International Workshop on Satisfiability Modulo Theories (SMT)},
	year = {2009},
	publisher = {ACM},
	organization = {ACM},
	address = {Montreal, Canada},
	author = {Roberto Bruttomesso}
}