@InProceedings{   boneva:inria-00536694,
  Author        = "Boneva, Iovka and Talbot, Jean-Marc",
  Editor        = {Giesl, J{\"u}rgen},
  Address       = "Nara, Japan",
  BookTitle     = "{20th International Conference on Rewriting Techniques and Applications}",
  date-added    = "2023-03-03 07:51:32 +0100",
  date-modified = "2023-03-03 07:51:32 +0100",
  hal_id        = "inria-00536694",
  hal_version   = "v1",
  Pages         = "500--515",
  PDF           = "https://hal.inria.fr/inria-00536694/file/rta2005.pdf",
  Publisher     = "{Springer}",
  Series        = "Lecture Notes in Computer Science",
  Title         = "{Automata and Logics for Unranked and Unordered Trees}",
  URL           = "https://hal.inria.fr/inria-00536694",
  Volume        = "3467",
  Year          = "2005",
  bdsk-url-1    = "https://hal.inria.fr/inria-00536694",
  File          = "Automata and Logics for Unranked and Unordered Trees - rta2005 - a.pdf"
}

@InProceedings{ boneva:inria-00536694, Author = "Boneva, Iovka and Talbot, Jean-Marc", Editor = {Giesl, J{\"u}rgen}, Address = "Nara, Japan", BookTitle = "{20th International Conference on Rewriting Techniques and Applications}", date-added = "2023-03-03 07:51:32 +0100", date-modified = "2023-03-03 07:51:32 +0100", hal_id = "inria-00536694", hal_version = "v1", Pages = "500--515", PDF = "https://hal.inria.fr/inria-00536694/file/rta2005.pdf", Publisher = "{Springer}", Series = "Lecture Notes in Computer Science", Title = "{Automata and Logics for Unranked and Unordered Trees}", URL = "https://hal.inria.fr/inria-00536694", Volume = "3467", Year = "2005", bdsk-url-1 = "https://hal.inria.fr/inria-00536694", File = "Automata and Logics for Unranked and Unordered Trees - rta2005 - a.pdf" }