A decomposition theorem for partially ordered sets (1950)

by R P Dilworth
Venue:Ann. of Math