Svante Carlsson Jingsen Chen On Partitions and Presortedness of Sequences. 267-280 1992 29 Acta Inf. 3 db/journals/acta/acta29.html#CarlssonC92