An Exact Mathematical Programming Approach to Multiple RNA Sequence-Structure Alignment - Bauer, Markus ; Klau, Gunnar ; Reinert, Knut (Algorithmic Operations Research, 2008)