@TechReport{      haudebourg:hal-02795484,
  Author        = "Haudebourg, Thomas and Genet, Thomas and Jensen, Thomas",
  date-added    = "2020-06-22 17:28:13 +0200",
  date-modified = "2020-06-22 17:28:13 +0200",
  hal_id        = "hal-02795484",
  hal_version   = "v1",
  Institution   = "{Inria}",
  PDF           = "https://hal.inria.fr/hal-02795484/file/report\%20\%281\%29.pdf",
  Title         = "{Regular Language Type Inference with Term Rewriting - extended version}",
  Type          = "Research Report",
  URL           = "https://hal.inria.fr/hal-02795484",
  Year          = "2020",
  bdsk-url-1    = "https://hal.inria.fr/hal-02795484",
  File          = "Regular Language Type Inference with Term Rewriting - extended version - report (1) - a - d.pdf"
}

@TechReport{ haudebourg:hal-02795484, Author = "Haudebourg, Thomas and Genet, Thomas and Jensen, Thomas", date-added = "2020-06-22 17:28:13 +0200", date-modified = "2020-06-22 17:28:13 +0200", hal_id = "hal-02795484", hal_version = "v1", Institution = "{Inria}", PDF = "https://hal.inria.fr/hal-02795484/file/report\%20\%281\%29.pdf", Title = "{Regular Language Type Inference with Term Rewriting - extended version}", Type = "Research Report", URL = "https://hal.inria.fr/hal-02795484", Year = "2020", bdsk-url-1 = "https://hal.inria.fr/hal-02795484", File = "Regular Language Type Inference with Term Rewriting - extended version - report (1) - a - d.pdf" }