Эквациональные LP-структуры и их приложения в системах переписываниядиссертация