SEARCH Articles Figures Tables Direct approach Directed sorting Directed sorting approach synthesis Sort