@inproceedings{brim03afmc,
    author = {Lubos Brim and Jitka Zidkova},
    title = {Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {89},
    issue = {1},
    pages = {19--34},
    publisher = {Elsevier},
    editor = {Lubos Brim and Orna Grumberg},
    year = {2003}
}