Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

**Constructing Induction Rules for Deductive Synthesis Proofs.** / Bundy, Alan; Dixon, Lucas; Gow, Jeremy; Fleuriot, Jacques.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bundy, A, Dixon, L, Gow, J & Fleuriot, J 2005, Constructing Induction Rules for Deductive Synthesis Proofs. in *Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005).* vol. 153, Electronic Notes in Theoretical Computer Science, pp. 3–21. DOI: 10.1016/j.entcs.2005.08.003

Bundy, A., Dixon, L., Gow, J., & Fleuriot, J. (2005). Constructing Induction Rules for Deductive Synthesis Proofs. In *Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005) *(Vol. 153, pp. 3–21). (Electronic Notes in Theoretical Computer Science). DOI: 10.1016/j.entcs.2005.08.003

Bundy A, Dixon L, Gow J, Fleuriot J. Constructing Induction Rules for Deductive Synthesis Proofs. In Electronic Notes in Theoretical Computer Science: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005). Vol. 153. 2005. p. 3–21. (Electronic Notes in Theoretical Computer Science). Available from, DOI: 10.1016/j.entcs.2005.08.003