Formal Analysis of Rewriting System Representing RNA Folding. - Krishnendu Ghosh; Julia Goldman (BIOINFORMATICS, 2023)