PanLinx
русский
rus-000
многошаговая минимизация
English
eng-000
stepwise minimization
PanLex
