@inproceedings{OrdyniakPaulusmaSzeider11,
 author = {Sebastian Ordyniak and Dani{\"{e}}l Paulusma and Stefan
Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing -
{SAT} 2011 - 14th International Conference, {SAT}
2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
 doi = {10.1007/978-3-642-21581-0_6},
 editor = {Karem A. Sakallah and
Laurent Simon},
 pages = {47-60},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Satisfiability of Acyclic and almost Acyclic {CNF}
Formulas {(II)}},
 volume = {6695},
 year = {2011}
}