Efficiently deciding µ-calculus with converse over finite trees. (2015)

by P Geneves, N Layaıda, A Schmitt, N Gesbert
Venue:ACM Trans. Comput. Log.