@misc{indiciae27d3cb8110fa,
  title = {A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version)},
  author = {Marta Cialdea Mayer},
  year = {2013},
  url = {https://arxiv.org/abs/1312.2894},
  note = {Source identifier: 1312.2894}
}