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

Материал из WikiGrapp

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