@article{Stirling_1991,
    doi = {10.1016/0304-3975(90)90110-4},
    url = {https://doi.org/10.1016%2F0304-3975%2890%2990110-4},
    year = {1991},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {89},
    number = {1},
    pages = {161--177},
    author = {Colin Stirling and David Walker},
    title = {Local model checking in the modal mu-calculus},
    journal = {Theoretical Computer Science}
}

@article{Stirling_1991, doi = {10.1016/0304-3975(90)90110-4}, url = {https://doi.org/10.1016%2F0304-3975%2890%2990110-4}, year = {1991}, month = {oct}, publisher = {Elsevier {BV}}, volume = {89}, number = {1}, pages = {161--177}, author = {Colin Stirling and David Walker}, title = {Local model checking in the modal mu-calculus}, journal = {Theoretical Computer Science} }