Lakatos-Style Automated Theorem Modification.

Simon Colton, Alison Pease

Browse the full ECAI paper archive.