SEARCH Articles Figures Tables A Divide-and-Conquer Logic Algorithm Schema Algorithm schema Logic algorithm Schema Stepwise, Schema-Guided Logic Algorithm Synthesis