@misc{W2120926795,
  author = {Alan Bundy and Lucas Dixon and Jeremy Gow and Jacques Fleuriot},
  title = {Constructing Induction Rules for Deductive Synthesis Proofs},
  year = {2006},
  howpublished = {Electronic Notes in Theoretical Computer Science},
  doi = {https://doi.org/10.1016/j.entcs.2005.08.003}
}