Graph Reachability and Pebble Automata over Infinite Alphabets.

Tony Tan

Browse the full LICS paper archive.