@misc{indiciaed2582c0faa78,
  title = {Automating change of representation for proofs in discrete mathematics},
  author = {Daniel Raggi and Alan Bundy and Gudmund Grov and Alison Pease},
  year = {2015},
  url = {https://arxiv.org/abs/1505.02449},
  note = {Source identifier: 1505.02449}
}