Modal logic for default reasoning
scientific article; zbMATH DE number 1017071
scientific article