TY  - RPRT
TI  - A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms
AU  - Linh Anh Nguyen
PY  - 2012
UR  - https://arxiv.org/abs/1104.0405
ID  - 1104.0405
ER  -