Operational characterization of extensions in some logics for default reasoning
scientific article; zbMATH DE number 1057119
scientific article