## Tony Tan

*Graph Reachability and Pebble Automata over Infinite Alphabets*

LICS, 2009.

@inproceedings{LICS-2009-Tan, author = "Tony Tan", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.23", isbn = "978-0-7695-3746-7", pages = "157--166", publisher = "{IEEE Computer Society}", title = "{Graph Reachability and Pebble Automata over Infinite Alphabets}", year = 2009, }