@article{Arnold2007,
  author    = {Holger Arnold},
  title     = {A linearized DPLL calculus with learning},
  year      = {2007},
}