Model theoretical investigation of theorem proving methods. - Tamás Gergely; Konstantin Vershinin (Notre Dame J. Formal Log., 1978)

Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. - Tamás Gergely; Konstantin Vershinin (IJCAI, 1983)

Natural mathematical texts vs. programs. - Tamás Gergely; Konstantin Vershinin (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

One More Logic with Uncertainty and Resolution Principle for it. - Konstantin Vershinin; Igor Romanenko (CADE, 1992)