Tony Tan: Pebble automata for data languages: separation, decidability, and undecidability. Technion - Israel Institute of Technology, Israel 2009