Ordyniak, S., Paulusma, D., Szeider, S., "Satisfiability of acyclic and almost acyclic CNF formulas", Theoretical Computer Science, 2013