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

Материал из WEGA

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