Tony Tan: On Pebble Automata for Data Languages with Decidable Emptiness Problem. MFCS 2009: 712-723