A Solving of Problems on Technological Models. - V. J. Mikhailov (FCT, 1987)

Deductive Synthesis of Solutions for Technological Tasks. - V. J. Mikhailov; N. K. Zamov (J. Log. Program., 1990)