1. A. V. Bessonov,On new operations in intuitionistic calculus,Mathematical Notes, 22, No. 1 (1977), pp. 23–28.
2. V. Ia. Gerchiu,On finite approximability of superintuitionistic logics,Mathematical Research, 7, No. 1, (1972), pp 186–192.
3. V. Ia. Gerchiu, A. V. Kuznetsov,On varieties of pseudoboolean algebras, defined by an identity of a bounded length, In:IX All-Union Algebraical Colloquium (abstracts), Homel, 1968, pp. 54–56.
4. A. V. Kuznetsov,On undecidability of general completeness, decidability and equivalence problems for propositional calculae,Algebra and Logics, 2, No. 4, (1963), pp. 47–66.
5. A. V. Kuznetsov,The analogs of Sheffer operation in constructive logic,Doklady Akademii Nauk SSSR, 160, No. 2, (1965), pp. 274–277.