Functional Equations in Shostak Theories
scientific article