@article{basebasedmodelcheckingformultiagent,
  title = {Base-based Model Checking for Multi-Agent Only Believing (long version)},
  author = {Tiago de Lima and Emiliano Lorini and François Schwarzentruber},
  year = {2023},
  eprint = {2307.14893},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2307.14893v1},
}