DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2017.5,711,"KrCh,ToHe",Bidirectional nested weighted automata