Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Open in new window