"On Logically Justified Updates."

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics