Uniform interpolation, automata and the modal mu-calculus

D'AGOSTINO, Giovanna

HOLLENBERG M.