@misc{indiciae19f913e43c36,
  title = {Advances in Property-Based Testing for \$α\$Prolog},
  author = {James Cheney and Alberto Momigliano and Matteo Pessina},
  year = {2016},
  url = {https://arxiv.org/abs/1604.08345},
  note = {Source identifier: 1604.08345}
}