N. Eén, Armin Biere,
"Effective Preprocessing in SAT through Variable and Clause Elimination"
, in Springer, in Lecture Notes in Computer Science (LNCS), Vol. 3569, Springer, Seite(n) 61-75, 2005, ISBN: 3-540-26276-8, ISSN: 302-9743
Original Titel:
Effective Preprocessing in SAT through Variable and Clause Elimination