TY  - RPRT
TI  - Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse
AU  - Rajeev Goré
AU  - Florian Widmann
PY  - 2010
UR  - https://arxiv.org/abs/1002.0172
ID  - 1002.0172
ER  -