@INPROCEEDINGS {15684,
author={S. Marcelino and A. Kurucz},
doi={0},
booktitle={AiML.net Advances in Modal Logic - AiML},
title={Finite frames for K4.3 × S5 are decidable},
year={2012},
month={August},
volume={9},
pages={411-436} 
}