Rolf Backofen, David R. Gilbert: Bioinformatics and Constraints. Handbook of Constraint Programming 2006: 905-944