@inproceedings{Norrish_Xu_20,
    address          = {Paris},
    author           = {Norrish, Michael and Xu, Yiming},
    booktitle        = {International Joint Conference on Automated Reasoning},
    date             = {2020-7-1},
    doi              = {https://doi.org/10.1007/978-3-030-51074-9\_30},
    month            = jul,
    pages            = {518-533},
    publisher        = {Springer},
    title            = {Mechanised Modal Model Theory},
    year             = {2020}
  }