Janin D, Walukiewicz I. Automata for the mu-calculus and Related Results. BRICS [Internet]. 1995 Jan. 27 [cited 2024 Nov. 22];2(27). Available from: https://tidsskrift.dk/brics/article/view/19929