A Pragmatic Approach to Reuse in Tactical Theorem Proving

@inproceedings{pub1615,
    author = {

Schairer, Axel
 and 

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {A Pragmatic Approach to Reuse in Tactical Theorem Proving},
    booktitle = {Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES), Siena},
    year = {2001},
    address = {Siena, Italy}
}