Machine-independent evaluation of theorem-proving strategies (position paper (1997)

by M P Bonacina
Venue:Proc. of the Workshop on Strategies in Automated Deduction, CADE-14