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