S. S. Lavrov, “Problem solving based on knowledge representation and program synthesis”, Acta Cybern, vol. 7, no. 4, pp. 437-441, Jan. 1986.