Defaults in update semantics (1996)

by F Veltman
Venue:Journal of Philosophical Logic