Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert. Efficiently Deciding µ-calculus with Converse over Finite Trees.
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (2), pp.41.
〈http://tocl.acm.org/〉.
〈10.1145/2724712〉.
〈hal-00868722v5〉