TY  - RPRT
TI  - On partitioning Kripke frames of finite height
AU  - Andrey Kudinov
AU  - Ilya Shapirovsky
PY  - 2015
UR  - https://arxiv.org/abs/1511.09092
ID  - 1511.09092
ER  -