_id,doi,title 711,10.4230/LIPIcs.CONCUR.2017.5,Bidirectional nested weighted automata