Lavrov Svâtoslav Sergeevič: Problem solving based on knowledge representation and program synthesis. In: Acta cybernetica, (7) 4. pp. 437-441. (1986)