Turning partial orders into total orders, a step-by-step approach

Duluth 2008