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