A new default theories compilation for MSP-entailment
scientific article; zbMATH DE number 5774201