Some generahsation heuristics m proofs by reduction Improving Programs, Arc-et-Senans (1975)

by R AUBIN
Venue:Proc IRIA Symp Proving and