PanLinx
русский
rus-000
дизъюнктивная сеть
English
eng-000
disjunctive net
PanLex
