Aceto L, Ingólfsdóttir A. Characteristic Formulae: From Automata to Logic. BRICS [Internet]. 12. januar 2007 [henvist 13. marts 2025];14(2). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21925