@misc{seshia2012sciduction,
  title={Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis},
  author={Sanjit A. Seshia},
  year={2012},
  eprint={1201.0979},
  archivePrefix={arXiv},
  primaryClass={cs.LO},
  url={https://arxiv.org/abs/1201.0979}
}