On the semantics of theory change: arbitration between old and new information. (1993)

by P Z Revesz
Venue:12th ACM SIGACT-SGMIT-SIGART symposium on Principes of Databases,