Analysis and transformation of proof procedures

@inproceedings{Waal1994AnalysisAT,
  title={Analysis and transformation of proof procedures},
  author={David Andre De Waal},
  year={1994}
}
Automated theorem proving has made great progress during the last few decades. Proofs of more and more diicult theorems are being found faster and faster. However, the exponential increase in the size of the search space remains for many theorem proving problems. Logic program analysis and transformation techniques have also made progress during the last few years and automated theorem proving can beneet from these techniques if they can be made applicable to general theorem proving problems… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS