Dual axiomatics
scientific article; zbMATH DE number 7910494
scientific article