@InProceedings{   boichut:hal-00808871,
  Author        = "Boichut, Yohan and Chabin, Jacques and Rety, Pierre",
  Address       = "Eindhoven, Netherlands",
  BookTitle     = "{International Conference on Rewriting Techniques and Applications}",
  date-added    = "2015-06-29 08:57:17 +0000",
  date-modified = "2015-06-29 08:57:17 +0000",
  hal_id        = "hal-00808871",
  hal_version   = "v1",
  Month         = "June",
  Pages         = "xx",
  Title         = "{Over-approximating Descendants by Synchronized Tree Languages}",
  URL           = "https://hal.archives-ouvertes.fr/hal-00808871",
  Year          = "2013",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-00808871"
}

@InProceedings{ boichut:hal-00808871, Author = "Boichut, Yohan and Chabin, Jacques and Rety, Pierre", Address = "Eindhoven, Netherlands", BookTitle = "{International Conference on Rewriting Techniques and Applications}", date-added = "2015-06-29 08:57:17 +0000", date-modified = "2015-06-29 08:57:17 +0000", hal_id = "hal-00808871", hal_version = "v1", Month = "June", Pages = "xx", Title = "{Over-approximating Descendants by Synchronized Tree Languages}", URL = "https://hal.archives-ouvertes.fr/hal-00808871", Year = "2013", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-00808871" }