@misc{indiciae6989056ca806,
  title = {Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories},
  author = {Till Hofmann and Stefan Schupp and Gerhard Lakemeyer},
  year = {2026},
  url = {https://arxiv.org/abs/2402.03164},
  note = {Source identifier: 2402.03164}
}