@article{SVFU_2017_24_1_a1,
     author = {S. I. Bashmakov and M. I. Golovanov},
     title = {Axiomatization of intuitionistic logics defined by small frames},
     journal = {Matemati\v{c}eskie zametki SVFU},
     pages = {6--15},
     year = {2017},
     volume = {24},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SVFU_2017_24_1_a1/}
}