Иллюстрации к патенту
2631158
Блок унификации с параллельным сопоставлением термов
