Randall Davis Meta-Rules: Reasoning about Control. 179-222 1980 15 Artif. Intell. 3 db/journals/ai/ai15.html#Davis80