RNAiFold2T: Constraint Programming design of thermo-IRES switches. - Juan Antonio García-Martín; Iván Dotú; Javier Fernandez-Chamorro; Gloria Lozano; Jorge Ramajo; Encarnacion Martinez-Salas; Peter Clote (Bioinform., 2016)