TY  - RPRT
TI  - Symbolic model checking of tense logics on rational Kripke models
AU  - Wilmari Bekker
AU  - Valentin Goranko
PY  - 2008
UR  - https://arxiv.org/abs/0810.5516
ID  - 0810.5516
ER  -