A graph-theoretic approach to default logic
scientific article; zbMATH DE number 638562