PanLinx
русский
rus-000
регулярный вывод
English
eng-000
regular deduction
English
eng-000
regular derivation
English
eng-000
regular inference
PanLex