%0 Journal Article %J Logique et Analyse %D 1989 %T Natural Heuristics for Proof Construction. Part I: Classical Propositional Logic %A Batens, Diderik %B Logique et Analyse %V 32 %P 337–363 %G eng