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

**Proof Plans for the Correction of False Conjectures.** / Monroy, Raul; Bundy, Alan; Ireland, Andrew.

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

Monroy, R, Bundy, A & Ireland, A 1994, Proof Plans for the Correction of False Conjectures. in *Proceedings of Logic Programming and Automated Reasoning '94.*

Monroy, R., Bundy, A., & Ireland, A. (1994). Proof Plans for the Correction of False Conjectures. In *Proceedings of Logic Programming and Automated Reasoning '94 *

Monroy R, Bundy A, Ireland A. Proof Plans for the Correction of False Conjectures. In Proceedings of Logic Programming and Automated Reasoning '94. 1994