Oliver Pretzel On the Dimension of Partially Ordered Sets. 146-152 1977 22 J. Comb. Theory, Ser. A 2 db/journals/jct/jcta22.html#Pretzel77