1. Tweety—still flying: some remarks on abnormal birds, applicable rules and a default prover;Brewka,1986
2. An extended basic ATMS;Dressler,1989
3. A semantics for default logic;Etherington,1987
4. A correct nonmonotonic ATMS;Junker,1989
5. On the relation between default and autoepistemic logic;Konolige;Artif. Intell.,1988