SEARCH Articles Figures Tables A Divide-and-Conquer Logic Algorithm Schema Comparison of Logic Algorithms Correctness of Logic Algorithms Design of a Logic Algorithm Deterministic logic algorithm Divide-and-Conquer Logic Algorithm Analysis Finite logic algorithm Logic Algorithm and Intentions Logic Algorithm and Specification Logic algorithm classification Logic algorithm construction Logic algorithm design Logic algorithm optimization Logic algorithm schema Logic algorithm transformation Recursive logic algorithms Sample Logic Algorithms Some Comments on Logic Algorithms Stepwise Logic Algorithm Synthesis Strategies Stepwise, Schema-Guided Logic Algorithm Synthesis