A pragmatic approach to reuse in tactical theorem proving. (English) Zbl 1268.68147
Bonacina, Paola (ed.) et al., STRATEGIES 2001. Selected papers of the 4th international workshop on strategies in automated deduction (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 2, 203-216 (2001).
MSC:
68T15
