On the complexity of extension checking in default logic
scientific article; zbMATH DE number 5659903