On a Connection Between the Resolution Method and the Inverse Method. - N. K. Zamov (FCT, 1987)

Maslov's Inverse Method and Decidable Classes. - N. K. Zamov (Ann. Pure Appl. Log., 1989)

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

Resolution Methods for the Decision Problem - Christian G. Fermüller; Alexander Leitsch; Tanel Tammet; N. K. Zamov (Springer, 1993)