Some results on default logic
scientific article; zbMATH DE number 638745