TY  - RPRT
TI  - A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version)
AU  - Marta Cialdea Mayer
PY  - 2013
UR  - https://arxiv.org/abs/1312.2894
ID  - 1312.2894
ER  -