@misc{indiciaec2a286201c1f,
  title = {So You Want to Analyze Scheme Programs With Datalog?},
  author = {Davis Ross Silverman and Yihao Sun and Kristopher Micinski and Thomas Gilray},
  year = {2021},
  url = {https://arxiv.org/abs/2107.12909},
  note = {Source identifier: 2107.12909}
}