Proof planning with logic presentations. - S. Negrete-Yankelevich (1996)