Planning natural language explanations in natural deduction based systems - Nunes, Maria das Graças Volpe (Current Issues in Mathematical Linguistics, 1994)