О решениях функциональных уравнений в теориях Шостака

Показано, что в присутствии теории Шостака совместная система уравнений, содержащая функциональные переменные, имеет слабый наиболее общий унификатор, и представлен алгоритм, его вычисляющий.
Библиогр. 5.