A Proof of Dilworth's Chain Decomposition Theorem
scientific article; zbMATH DE number 604975
scientific article