@misc{indiciaef77637bd87fa,
  title = {Model checking strategy-controlled systems in rewriting logic},
  author = {Rubén Rubio and Narciso Martí-Oliet and Isabel Pita and Alberto Verdejo},
  year = {2024},
  doi = {10.1007/s10515-021-00307-9},
  url = {https://arxiv.org/abs/2401.07616},
  note = {Source identifier: 2401.07616}
}