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