@ARTICLE{clp15,
  author = {T. Colcombet and C. Ley and G. Puppis},
  title = {Logics with rigidly guarded data tests},
  journal = {Logical Methods in Computer Science},
  volume = {http://arxiv.org/abs/1410.2022},
  year = {2015}
}