@TechReport{      genet:hal-01614380,
  Author        = "Genet, Thomas and Haudebourg, Timoth{\'e}e and Jensen, Thomas",
  date-added    = "2017-10-24 10:05:19 +0000",
  date-modified = "2017-10-24 12:29:03 +0000",
  hal_id        = "hal-01614380",
  hal_version   = "v4",
  Institution   = "{Irisa}",
  Keywords      = "citesme! and readme",
  Month         = "October",
  Pages         = "1-20",
  PDF           = "https://hal.inria.fr/hal-01614380/file/Verifying\%20Higher-Order\%20Functions\%20with\%20Tree\%20Automata.pdf",
  Title         = "{Verifying Higher-Order Functions with Tree Automata: Extended Version}",
  Type          = "Technical Report",
  URL           = "https://hal.inria.fr/hal-01614380",
  Year          = "2017",
  bdsk-url-1    = "https://hal.inria.fr/hal-01614380",
  File          = "Verifying Higher-Order Functions with Tree Automata (0) - a - a - e.pdf"
}

@TechReport{ genet:hal-01614380, Author = "Genet, Thomas and Haudebourg, Timoth{\'e}e and Jensen, Thomas", date-added = "2017-10-24 10:05:19 +0000", date-modified = "2017-10-24 12:29:03 +0000", hal_id = "hal-01614380", hal_version = "v4", Institution = "{Irisa}", Keywords = "citesme! and readme", Month = "October", Pages = "1-20", PDF = "https://hal.inria.fr/hal-01614380/file/Verifying\%20Higher-Order\%20Functions\%20with\%20Tree\%20Automata.pdf", Title = "{Verifying Higher-Order Functions with Tree Automata: Extended Version}", Type = "Technical Report", URL = "https://hal.inria.fr/hal-01614380", Year = "2017", bdsk-url-1 = "https://hal.inria.fr/hal-01614380", File = "Verifying Higher-Order Functions with Tree Automata (0) - a - a - e.pdf" }