PanLinx
English
eng-000
regular derivability
русский
rus-000
регулярная выводимость
PanLex
