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