@article{GanianHlinenyObdrzalek13,
 author = {Robert Ganian and
Petr Hlinen{\'{y}} and
Jan Obdrz{\'{a}}lek},
 journal = {Fundam. Inform.},
 number = {1},
 pages = {59--76},
 title = {Better Algorithms for Satisfiability Problems for Formulas of Bounded
Rank-width},
 volume = {123},
 year = {2013}
}