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

Материал из WEGA

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