1. V. Ya. Gerchiu and A. V. Kuznetsov, “On varieties of pseudo-Boolean algebras, specified by identities of bounded length,” in: 9th All-Union Algebraic Colloquium, Resume of Communications and Papers [in Russian], Gomel' (1968), pp. 54–65.
2. A. V. Kuznetsov, “Certain properties of the lattice of varieties of pseudo-Boolean algebras,” in: 11th All-Union Algebraic Colloquium, Resume of Communications and Papers [in Russian], Kishinev (1971), pp. 255–256.
3. L. L. Maksimova, “Quasifinite superintuitionist logics,” in: 11th All-Union Colloquium, Resume of Communications and Papers [in Russian], Kishinev (1971), pp. 258–259.
4. V. A. Yankov, “On certain superconstructive predictate calculi,” Dokl. Akad. Nauk SSSR,151, 796–798 (1963).
5. R. A. Bull, “Some results for implicational calculi,” J. Symb. Logic,29, 33–39 (1964).