Kai Li Paul Hudak A New List Compaction Method. 145-163 1986 16 Softw., Pract. Exper. 2 db/journals/spe/spe16.html#LiH86