Lavrov, S.S. 1986. Problem solving based on knowledge representation and program synthesis. Acta Cybernetica. 7, 4 (Jan. 1986), 437-441.