@inproceedings{10.1007/978-3-030-86059-2_22,
    Address = {Cham},
    Author = {Marti, Johannes and Venema, Yde},
    BookTitle = {Automated Reasoning with Analytic Tableaux and Related Methods},
    Editor = {Das, Anupam and Negri, Sara},
    File = {A Focus System for the Alternation-Free µ-Calculus - mart-focu2021.pdf},
    ISBN = {978-3-030-86059-2},
    Pages = {371--388},
    Publisher = {Springer International Publishing},
    Title = {A Focus System for the Alternation-Free {$\mu$}-Calculus},
    Year = {2021},
    date-added = {2022-02-03 11:20:09 +0100},
    date-modified = {2022-02-03 11:20:09 +0100},
    file-2 = {A Focus System for the Alternation-Free µ-Calculus - focus\_for\_afmc.pdf},
    file-3 = {A Focus System for the Alternation-Free µ-Calculus - focus\_for\_afmc.pdf},
    doi = {10.1007/978-3-030-86059-2_22}
}

@inproceedings{10.1007/978-3-030-86059-2_22, Address = {Cham}, Author = {Marti, Johannes and Venema, Yde}, BookTitle = {Automated Reasoning with Analytic Tableaux and Related Methods}, Editor = {Das, Anupam and Negri, Sara}, File = {A Focus System for the Alternation-Free µ-Calculus - mart-focu2021.pdf}, ISBN = {978-3-030-86059-2}, Pages = {371--388}, Publisher = {Springer International Publishing}, Title = {A Focus System for the Alternation-Free {$\mu$}-Calculus}, Year = {2021}, date-added = {2022-02-03 11:20:09 +0100}, date-modified = {2022-02-03 11:20:09 +0100}, file-2 = {A Focus System for the Alternation-Free µ-Calculus - focus_for_afmc.pdf}, file-3 = {A Focus System for the Alternation-Free µ-Calculus - focus_for_afmc.pdf}, doi = {10.1007/978-3-030-86059-2_22} }