@article {DDa:vd1, title = {Pushing the Search Paths in the Proofs. {A} Study in Proof Heuristics}, journal = {Logique et Analyse}, volume = {44}, number = {173-175}, year = {2001}, pages = {113{\textendash}134}, abstract = {

Introducing techniques deriving from dynamic proofs in proofs for propositional classical logic is shown to lead to a proof format that enables one to push search paths into the proofs themselves. The resulting goal directed proof format is shown to provide a decision method for A1, ..., An vdash B and a positive test for Gamma vdash A.

}, author = {Batens, Diderik and Provijn, Dagmar} }