Guarded Variable Automata over Infinite Alphabets
29 pages. arXiv admin note: text overlap with arXiv:1302.4205