PanLinx
русский
rus-000
дизъюнктивный граф
English
eng-000
disjunctive graph
PanLex
