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