Title: Default reasoning with the conditional logic E
First published: 1988