Highly Influenced

@inproceedings{Waal1994AnalysisAT, title={Analysis and transformation of proof procedures}, author={David Andre De Waal}, year={1994} }

- Published 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