Knut Reinert Hans-Peter Lenhof Petra Mutzel Kurt Mehlhorn John D. Kececioglu A branch-and-cut algorithm for multiple sequence alignment. 241-250 1997 RECOMB http://doi.acm.org/10.1145/267521.267845 db/conf/recomb/recomb1997.html#ReinertLMMK97