Exhaustive Enumeration of Kinetic Model Topologies for the Analysis of Time-Resolved RNA Folding. - Joshua S. Martin; Katrina Simmons; Alain Laederach (Algorithms, 2009)