Ulrich Faigle György Turán Sorting and Recognition Problems for Ordered Sets. 100-113 1988 17 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp17.html#FaigleT88