TY  - JOUR
AU  - A. V. Kudinov
AU  - I. B. Shapirovsky
TI  - Partitioning Kripke frames of finite height
JO  - Izvestiya. Mathematics 
PY  - 2017
SP  - 592
EP  - 617
VL  - 81
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2017_81_3_a5/
LA  - en
ID  - IM2_2017_81_3_a5
ER  -