Open menu
Richard Warren
1967
The structure of k-CS-transitive cycle-free partial orders