Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa: Pseudoknot-Generating Operation. SOFSEM 2016: 241-252