Publication
A Pragmatic Approach to Reuse in Tactical Theorem Proving
Axel Schairer; Serge Autexier; Dieter Hutter
In: 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, 2001.