@misc{indiciaecb3e8d3a248c,
  title = {Debugging Trait Errors as Logic Programs},
  author = {Gavin Gray and Will Crichton},
  year = {2023},
  url = {https://arxiv.org/abs/2309.05137},
  note = {Source identifier: 2309.05137}
}