Proceedings-Artikel
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. Siena, 2001.