Ordyniak, S., Paulusma, D., Szeider, S., "Satisfiability of acyclic and almost acyclic CNF formulas (II)", , 2011