PanLinx
русский
rus-000
леворазложимый оператор
English
eng-000
left-decomposable operator
PanLex
