On Modal mu-Calculus over Finite Graphs with Bounded Strongly Connected Components

D'AGOSTINO, Giovanna

LENZI, G.