PanLinx
čeština
ces-000
neukončení
English
eng-000
nontermination
PanLex