Унификация: ключевые задачи и подходы