@misc{indiciae87a363e00184,
  title = {Animation, Verification and Visualisation of Prolog Transition Systems with ProB},
  author = {Jan Gruteser and Michael Leuschel and Katharina Engels and Fabian Vu},
  year = {2026},
  doi = {10.4204/eptcs.450.13},
  url = {https://arxiv.org/abs/2607.21192},
  note = {Source identifier: 2607.21192}
}