John K. Debenham A Rigorous Approach to Knowledge Base Maintenance. 219-228 http://dx.doi.org/10.1007/3-540-45034-3_22 2003 conf/ieaaie/2003 IEA/AIE db/conf/ieaaie/ieaaie2003.html#Debenham03