Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars. - Jan Hammer; Zbynek Krivka (NCMA, 2022)