Internal axioms for domain semirings
scientific article; zbMATH DE number 5853825
scientific article