Наибольший общий унификатор

Материал из WikiGrapp

Наибольший общий унификатор - см. Задача унификации.