Tautologies and Positive Solvability of Linear Homogeneous Systems. - Gennady Davydov; Inna Davydova (Ann. Pure Appl. Log., 1992)

An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF. - Gennady Davydov; Inna Davydova; Hans Kleine Büning (Ann. Math. Artif. Intell., 1998)

Towards logical operations research - propositional case. - Gennady Davydov; Inna Davydova (Ann. Pure Appl. Log., 2001)