@misc{indiciae801ae8db2ccb,
  title = {Combining model tracing and constraint-based modeling for multistep strategy diagnoses},
  author = {Gerben van der Hoek and Johan Jeuring and Rogier Bos},
  year = {2025},
  url = {https://arxiv.org/abs/2507.13652},
  note = {Source identifier: 2507.13652}
}