Proving partial order properties
scientific article; zbMATH DE number 562574
scientific article