On pebble automata for data languages with decidable emptiness problem

Tony Tan. On pebble automata for data languages with decidable emptiness problem. J. Comput. Syst. Sci., 76(8):778-791, 2010. [doi]

Abstract

Abstract is missing.