TY  - RPRT
TI  - Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities
AU  - Mark Kaminski
AU  - Gert Smolka
PY  - 2012
UR  - https://arxiv.org/abs/1209.1248
ID  - 1209.1248
ER  -