@INPROCEEDINGS{clp11,
  author = {T. Colcombet and C. Ley and G. Puppis},
  title = {On the Use of Guards for Logics with Data},
  booktitle = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS)},
  year = {2011},
  pages = {243-255},
  series = {LNCS},
  volume = {6907},
  publisher = {Springer}
}