SEARCH Articles Figures Tables Stepwise Stepwise Logic Algorithm Synthesis Strategies Synthetic strategies stepwise