Fast Mu-Calculus Model Checking when Tree-Width Is Bounded.

Jan Obdrzlek

Browse the full CAV paper archive.