@misc{indiciaea918369e96fd,
  title = {Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts},
  author = {Rajeev Goré and Cormac Kikkert},
  year = {2026},
  doi = {10.4204/eptcs.447.24},
  url = {https://arxiv.org/abs/2606.31878},
  note = {Source identifier: 2606.31878}
}