@misc{indiciaeb4fafd78889e,
  title = {Program Synthesis Using Example Propagation},
  author = {Niek Mulleners and Johan Jeuring and Bastiaan Heeren},
  year = {2022},
  url = {https://arxiv.org/abs/2210.13873},
  note = {Source identifier: 2210.13873}
}