Proof Planning with Multiple Strategies (2000)

by E Melis, A Meier
Venue:In Proc. of CL-2000, volume 1861 of LNAI