A Pragmatic Approach to Reuse in Tactical Theorem Proving
@inproceedings{SAH-01-a, author = {Schairer, Axel and Autexier, Serge and Hutter, Dieter}, editor = {Bonacina, Maria-Paola and Gramlich, Bernhard}, booktitle = {Proceedings of the 4th Workshop on Strategies in Automated Deduction (STRATEGIES'01)}, title = {A Pragmatic Approach to Reuse in Tactical Theorem Proving}, volume = {TR DII 10/01}, publisher = {Universit\'a degli studi di Siena}, pages = {75-86}, month = {june}, year = {2001}, }