@inproceedings{,
	author          = {Matti Jarvisalo and Armin Biere and Marijn J.H. Heule},
	title           = {Blocked Clause Elimination},
	booktitle       = {TACAS '10},
	publisher       = {Springer},
	year            = {2010},
	editor          = {J. Esparza and R. Majumdar},
	volume          = {6015},
	series          = {Lecture Notes in Computer Science},
	pages           = {129–144},
	isbn            = {0302-9743},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/BCE.pdf},
	project         = {SAT},
	group           = {ALG}
}