@article{IM2_2017_81_3_a5,
     author = {A. V. Kudinov and I. B. Shapirovsky},
     title = {Partitioning {Kripke} frames of finite height},
     journal = {Izvestiya. Mathematics },
     pages = {592--617},
     publisher = {mathdoc},
     volume = {81},
     number = {3},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_2017_81_3_a5/}
}