@unpublished{Arnold2009, author = {Holger Arnold}, title = {A linearized DPLL calculus with clause learning (2nd, revised version)}, institution = {Institut f{\"u}r Informatik und Computational Science}, year = {2009}, }