G. F. Shvarts

Reduction of a relational model with infinite domains to the finite-domain case

A. K. Ailamazyan, M. M. Gilula, A. P. Stolboushkin, 1986 .

Gentzen Style Systems for K45 and K45D

G. F. Shvarts, Grigori F. Shvarts, 1989, Logic at Botik.

Modal nonmonotonic logics: ranges, characterization, computation

Victor W. Marek, Miroslaw Truszczynski, G. F. Shvarts, 1991, JACM.

Fixed Points in the Propositional Nonmonotonic Logic

G. F. Shvarts, Grigori F. Shvarts, 1989, Artif. Intell..