@inproceedings{GKS10,
        author      =   "O. Grumberg and O. Kupferman and S. Sheinvald",
        title       =   "Variable Automata over Infinite Alphabets",
        booktitle   =   lata10,
        series      =   lncs,
        volume      =   "6031",
        pages       =   "561-572",
        publisher   =   springer,
        year        =   "2010"
}