Default logic generalized and simplified
scientific article; zbMATH DE number 5576020
scientific article