@Unpublished{     belkhir:hal-00914779,
  Author        = "Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michael",
  date-added    = "2021-09-08 09:10:26 +0200",
  date-modified = "2021-09-08 09:10:26 +0200",
  hal_id        = "hal-00914779",
  hal_version   = "v1",
  Month         = "October",
  Note          = "29 pages. arXiv admin note: text overlap with arXiv:1302.4205",
  Title         = "{Guarded Variable Automata over Infinite Alphabets}",
  URL           = "https://hal.inria.fr/hal-00914779",
  Year          = "2013",
  bdsk-url-1    = "https://hal.inria.fr/hal-00914779",
  File          = "Guarded Variable Automata over Inﬁnite Alphabets - Guarded\_variable\_automata\_over\_infinite.pdf"
}

@Unpublished{ belkhir:hal-00914779, Author = "Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michael", date-added = "2021-09-08 09:10:26 +0200", date-modified = "2021-09-08 09:10:26 +0200", hal_id = "hal-00914779", hal_version = "v1", Month = "October", Note = "29 pages. arXiv admin note: text overlap with arXiv:1302.4205", Title = "{Guarded Variable Automata over Infinite Alphabets}", URL = "https://hal.inria.fr/hal-00914779", Year = "2013", bdsk-url-1 = "https://hal.inria.fr/hal-00914779", File = "Guarded Variable Automata over Inﬁnite Alphabets - Guarded_variable_automata_over_infinite.pdf" }