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

by P Z Revesz
Venue:Proc. 12th ACM SIGACT Symp. on Principles of Database Systems