@phdthesis {PhD_Dagmar, title = {Prospectieve Dynamiek. Filosofische en Technische Onderbouwing van Doelgerichte Bewijzen en Bewijsheuristieken}, year = {2005}, month = {March 24}, publisher = {Ghent University}, type = {phd}, author = {Provijn, Dagmar} } @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} }