Pebble Weighted Automata and Transitive Closure Logics [chapter]

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
2010 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-14162-1_49 fatcat:bpzbzioovbctjdnjsdxaqtvwu4