Reasoning with conditional axioms
scientific article; zbMATH DE number 937237
scientific article