@article{Stirling_1999,
    doi = {10.1093/jigpal/7.1.103},
    url = {https://doi.org/10.1093%2Fjigpal%2F7.1.103},
    year = {1999},
    month = {jan},
    publisher = {Oxford University Press ({OUP})},
    volume = {7},
    number = {1},
    pages = {103--124},
    author = {C Stirling},
    title = {Bisimulation, modal logic and model checking games},
    journal = {Logic Journal of {IGPL}}
}

@article{Stirling_1999, doi = {10.1093/jigpal/7.1.103}, url = {https://doi.org/10.1093%2Fjigpal%2F7.1.103}, year = {1999}, month = {jan}, publisher = {Oxford University Press ({OUP})}, volume = {7}, number = {1}, pages = {103--124}, author = {C Stirling}, title = {Bisimulation, modal logic and model checking games}, journal = {Logic Journal of {IGPL}} }