@INPROCEEDINGS{JohannsenRazgonWahlstroem2008,
  AUTHOR       = {Johannsen, Daniel and Razgon, Igor and Wahlstr{\"o}m, Magnus},
  TITLE        = {Solving {SAT} for {CNF} formulas with a one-sided variable occurrence restriction},
  BOOKTITLE    = {Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)},
  PADDRESS     = {Berlin, Germany},
  ADDRESS      = {Swansea, Wales, United Kingdom},
  PUBLISHER    = {Springer Berlin / Heidelberg},
  SERIES       = {Lecture Notes in Computer Science},
  VOLUME       = {5584},
  DOI          = {10.1007/978-3-642-02777-2},
  YEAR         = {2009},
  PAGES        = {80--85},
}