Proof plans and automatic theorem proving with hints - Negrete, Santiago (1993)
Text span.