Aceto, L., & Ingólfsdóttir, A. (2007). Characteristic Formulae: From Automata to Logic. BRICS Report Series, 14(2). https://doi.org/10.7146/brics.v14i2.21925