✓

@Book{            comon:hal-03367725,
  Author        = {Comon, Hubert and Dauchet, Max and Gilleron, R{\'e}mi and Jacquemard, Florent and Lugiez, Denis and L{\"o}ding, Christof and Tison, Sophie and Tommasi, Marc},
  date-added    = "2023-03-02 19:22:43 +0100",
  date-modified = "2023-03-02 19:22:43 +0100",
  hal_id        = "hal-03367725",
  hal_version   = "v1",
  Pages         = "262",
  PDF           = "https://hal.inria.fr/hal-03367725/file/tata.pdf",
  Title         = "{Tree Automata Techniques and Applications}",
  URL           = "https://hal.inria.fr/hal-03367725",
  Year          = "2008",
  bdsk-url-1    = "https://hal.inria.fr/hal-03367725",
  File          = "Tree Automata - Techniques and Applications - tata - a.pdf"
}

@Book{ comon:hal-03367725, Author = {Comon, Hubert and Dauchet, Max and Gilleron, R{\'e}mi and Jacquemard, Florent and Lugiez, Denis and L{\"o}ding, Christof and Tison, Sophie and Tommasi, Marc}, date-added = "2023-03-02 19:22:43 +0100", date-modified = "2023-03-02 19:22:43 +0100", hal_id = "hal-03367725", hal_version = "v1", Pages = "262", PDF = "https://hal.inria.fr/hal-03367725/file/tata.pdf", Title = "{Tree Automata Techniques and Applications}", URL = "https://hal.inria.fr/hal-03367725", Year = "2008", bdsk-url-1 = "https://hal.inria.fr/hal-03367725", File = "Tree Automata - Techniques and Applications - tata - a.pdf" }