@article{OrdyniakPaulusmaSzeider13,
 author = {Sebastian Ordyniak and Dani{\"e}l Paulusma and
Stefan Szeider},
 doi = {10.1016/j.tcs.2012.12.039},
 journal = {Theoretical Computer Science},
 pages = {85-99},
 title = {Satisfiability of acyclic and almost acyclic {CNF}
formulas},
 volume = {481},
 year = {2013}
}