Hardness of RNA Folding Problem With Four Symbols.
scientific article; zbMATH DE number 6792422