Noa Globerman David Harel Complexity Results for Multi-Pebble Automata and their Logics. 73-82 1994 conf/icalp/1994 ICALP db/conf/icalp/icalp94.html#GlobermanH94 http://dx.doi.org/10.1007/3-540-58201-0_59