Althaus, E. and Caprara, A. and Lenhof, H.-P. and Reinert, K. (2006) A Branch-and-Cut Algorithm for Multiple Sequence Alignment. Mathematical Programming (105). pp. 387-425.