Saturation of k-chains in the Boolean lattice - Ryan R. Martin; Nick Veldt (2024)