PanLinx
English
eng-000
unification parallelism
русский
rus-000
параллелизм при выполнении унификации
PanLex
