Philippe Besnard Torsten Schaub Possible Worlds Semantics for Default Logics. 39-66 1994 21 Fundam. Inform. 1/2 db/journals/fuin/fuin21.html#BesnardS94