HotKnots: Heuristic prediction of RNA secondary structures including pseudoknots | Synapse