@inproceedings{guarded-logics-for-date,
  title = "On the use of guards for logics with data",
  author = "Thomas Colcombet and Clemens Ley and Gabriele Puppis",
  year = "2011",
  journal = "International Symposium on Mathematical Foundations Of Computer Science",
}