PanLinx
русский
rus-000
преобразование терма
English
eng-000
term rewriting
PanLex