"Knowledge updates: Semantics and complexity issues."

Chitta Baral, Yan Zhang (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics