Proof Plans for the Correction of False Conjectures.

Ral Monroy, Alan Bundy, Andrew Ireland

Browse the full LPAR paper archive.