TY - JOUR T1 - Natural Heuristics for Proof Construction. Part I: Classical Propositional Logic JF - Logique et Analyse Y1 - 1989 A1 - Batens, Diderik VL - 32 SP - 337–363 N1 - Appeared 1992 ER -