Publisher SummaryMOTIVATIONSPECIFICATIONBASIC STRUCTURESPLITTING RULESTRANSFORMATION RULESRESOLUTIONTHE RESOLUTION RULESTHE POLARITY STRATEGYMATHEMATICAL INDUCTION AND THE FORMATION OF RECURSIVE CALLSA COMPLETE EXAMPLE: FINDING THE QUOTIENT OF TWO INTEGERSTHE FORMATION OF AUXILIARY PROCEDURESGENERALIZATIONCOMPARISON WITH THE PURE TRANSFORMATION-RULE APPROACHACKNOWLEDGMENTS