@article{GanianHlinenyObdrzalek13,
 author = {Robert Ganian and
Petr Hlinený and
Jan Obdrzá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}
}