@misc{Hoffmann2007,
   author    = {Jan Hoffmann},
   title     = {Resolution Proofs and DLL-Algorithms with Clause Learning.},
   howpublished = {Diploma Thesis, LMU M\"unchen},
   year      = 2007
}