Javier Yáñez Javier Montero A Poset Dimension Algorithm. 185-208 1999 30 J. Algorithms 1 db/journals/jal/jal30.html#YanezM99