A Pragmatic Approach to Reuse in Tactical Theorem Proving<pre>@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},
}
</pre>