@InProceedings{   bouajjani:hal-00161115,
  Author        = "Bouajjani, Ahmed and Touili, Tayssir",
  affiliation   = "Laboratoire d'informatique Algorithmique : Fondements et Applications - LIAFA",
  audience      = "international",
  BookTitle     = "{Proc. 14th Int. Conf. on Computer Aided Verification (CAV'02)}",
  date-added    = "2014-05-02 08:17:42 +0000",
  date-modified = "2019-08-16 14:18:05 +0200",
  hal_id        = "hal-00161115",
  Language      = "English",
  Pages         = "539-554",
  Publisher     = "Springer",
  Title         = "{Extrapolating Tree Transformations}",
  URL           = "http://hal.archives-ouvertes.fr/hal-00161115",
  Year          = "2002",
  bdsk-url-1    = "http://hal.archives-ouvertes.fr/hal-00161115",
  File          = "Extrapolating Tree Transformations. - Bouajjani, Touili (0) (0) - a - a - v.pdf"
}

@InProceedings{ bouajjani:hal-00161115, Author = "Bouajjani, Ahmed and Touili, Tayssir", affiliation = "Laboratoire d'informatique Algorithmique : Fondements et Applications - LIAFA", audience = "international", BookTitle = "{Proc. 14th Int. Conf. on Computer Aided Verification (CAV'02)}", date-added = "2014-05-02 08:17:42 +0000", date-modified = "2019-08-16 14:18:05 +0200", hal_id = "hal-00161115", Language = "English", Pages = "539-554", Publisher = "Springer", Title = "{Extrapolating Tree Transformations}", URL = "http://hal.archives-ouvertes.fr/hal-00161115", Year = "2002", bdsk-url-1 = "http://hal.archives-ouvertes.fr/hal-00161115", File = "Extrapolating Tree Transformations. - Bouajjani, Touili (0) (0) - a - a - v.pdf" }