Title: Conditional logics for default reasoning and belief revision
First published: 1992