@misc{indiciae313bbe8587c1,
  title = {'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions},
  author = {Samuel Judson and Matthew Elacqua and Filip Cano and Timos Antonopoulos and Bettina Könighofer and Scott J. Shapiro and Ruzica Piskac},
  year = {2024},
  url = {https://arxiv.org/abs/2305.05731},
  note = {Source identifier: 2305.05731}
}