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

Jan Obdrzálek (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics