Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: false conjectures
PP718
1994 Paper in Conference Proceedings
Monroy-Borja,R
;
Bundy,A
;
Ireland,A
Proof Plans for the Correction of False Conjectures