On pebble automata for data languages with decidable emptiness problem
scientific article; zbMATH DE number 5796731
scientific article