PanLinx
русский
rus-000
исключение методом подстановки
English
eng-000
elimination by substitution
PanLex