Discovery of inductive algorithms through automated reasoning: A case study on sorting | IEEE Conference Publication | IEEE Xplore