PanLinx
русский
rus-000
двухуровневая минимизация
English
eng-000
two-level minimization
PanLex
