Controlling Deduction with Proof Condensation and Heuristics.

Franz Oppacher, E. Suen

Browse the full CADE paper archive.