A logical framework for default reasoning
scientific article; zbMATH DE number 4057052
scientific article