@misc{indiciaed3a8297a08ed,
  title = {Six Ways to Implement Divisibility by Three in miniKanren},
  author = {Brett Schreiber and Brysen Pfingsten and Jason Hemann},
  year = {2024},
  url = {https://arxiv.org/abs/2408.16259},
  note = {Source identifier: 2408.16259}
}