1. Extended version of this article. https://hal.archives-ouvertes.fr/hal-03647675
2. Library qparse for music transcription. https://qparse.gitlabpages.inria.fr
3. Alur, R., Madhusudan, P.: Adding nesting structure to words. J. ACM 56(3), 1–43 (2009)
4. Alur, R., Mamouras, K., Stanford, C.: Automata-based stream processing. In: 44th ICALP. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2017)
5. Bahar, R.I., et al.: Algebraic decision diagrams and their applications. Formal Methods Syst. Des. 10(2–3), 171–206 (1997)