1. Citkin, A. I. (1978). On structurally complete superintuitionistic logics (Russian). Doklady Akademii Nauk SSSR, 241, 40–43. Translation Soviet Mathematics Doklady, 19, 816–819.
2. Heyting, A. (1930). Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse, 42–52.
3. Jankov, V. A. (1963a). On realizable formulas of propositional logic (Russian). Doklady Akademii Nauk SSSR, 151, 1035–1037. Translation Soviet Mathematics Doklady, 4, 1146–1148.
4. Jankov, V. A. (1963b) On the connection between deducibility in the intuitionistic propositional calculus and finite implicative structures (Russian). Doklady Akademii Nauk SSSR, 151, 1293–1294. Translation Soviet Mathematics Doklady, 4, 1203–1204.
5. Jankov, V. A. (1969). Conjunctively indecomposable formulas in propositional calculi (Russian). Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, 33, 18–38. Translation Mathematics of the USSR-Izvestiya, 3, 17–35.