Lavrov, Svâtoslav Sergeevič. 1986. “Problem Solving Based on Knowledge Representation and Program Synthesis”. Acta Cybernetica 7 (4), 437-41. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3311.