@InProceedings{   senizergues:hal-00506552,
  Author        = "S{\'e}nizergues, G{\'e}raud and Sylvestre, Marc and Durand, Ir{\`e}ne, A.",
  Editor        = "Lynch, Christopher",
  Address       = "Edinburgh, Royaume-Uni",
  affiliation   = "Laboratoire Bordelais de Recherche en Informatique - LaBRI",
  audience      = "internationale",
  BookTitle     = "{Proceedings of the 21st International Conference on Rewriting Techniques and Applications}",
  date-added    = "2014-01-01 22:50:35 +0000",
  date-modified = "2014-01-01 22:50:35 +0000",
  hal_id        = "hal-00506552",
  Keywords      = "term rewriting systems; termination",
  Language      = "Anglais",
  Month         = "July",
  Pages         = "341--356",
  Publisher     = "L I P I c s",
  Title         = "{Termination of Linear Bounded Term Rewriting Systems}",
  URL           = "http://hal.archives-ouvertes.fr/hal-00506552",
  Year          = "2010",
  bdsk-url-1    = "http://hal.archives-ouvertes.fr/hal-00506552",
  File          = "Termination of Linear Bounded Term Rewriting Systems - Sénizergues, Sylvestre, Durand (0) (0) - a - a - j.pdf",
  file-2        = "Termination of Linear Bounded Term Rewriting Systems - Sénizergues, Sylvestre, Durand (1) (0) (0) - a - a - j.pdf"
}

@InProceedings{ senizergues:hal-00506552, Author = "S{\'e}nizergues, G{\'e}raud and Sylvestre, Marc and Durand, Ir{`e}ne, A.", Editor = "Lynch, Christopher", Address = "Edinburgh, Royaume-Uni", affiliation = "Laboratoire Bordelais de Recherche en Informatique - LaBRI", audience = "internationale", BookTitle = "{Proceedings of the 21st International Conference on Rewriting Techniques and Applications}", date-added = "2014-01-01 22:50:35 +0000", date-modified = "2014-01-01 22:50:35 +0000", hal_id = "hal-00506552", Keywords = "term rewriting systems; termination", Language = "Anglais", Month = "July", Pages = "341--356", Publisher = "L I P I c s", Title = "{Termination of Linear Bounded Term Rewriting Systems}", URL = "http://hal.archives-ouvertes.fr/hal-00506552", Year = "2010", bdsk-url-1 = "http://hal.archives-ouvertes.fr/hal-00506552", File = "Termination of Linear Bounded Term Rewriting Systems - Sénizergues, Sylvestre, Durand (0) (0) - a - a - j.pdf", file-2 = "Termination of Linear Bounded Term Rewriting Systems - Sénizergues, Sylvestre, Durand (1) (0) (0) - a - a - j.pdf" }