TY  - RPRT
TI  - Signature Entrenchment and Conceptual Changes in Automated Theory Repair
AU  - Xue Li
AU  - Alan Bundy
AU  - Eugene Philalithis
PY  - 2022
UR  - https://arxiv.org/abs/2201.08340
ID  - 2201.08340
ER  -