@inproceedings{,
	author          = {Marijn J.H. Heule and Matti Järvisalo and Armin Biere},
	title           = {Clause Elimination Procedures for CNF Formula},
	booktitle       = {LPAR-17},
	publisher       = {Springer},
	year            = {2010},
	editor          = {C. Fermüller and A. Voronkov},
	volume          = {6397},
	pages           = {357–371},
	isbn            = {0302-9743},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/LPAR17.pdf},
	project         = {SAT},
	group           = {ALG}
}