Proceedings-Artikel
A Pragmatic Approach to Reuse in Tactical Theorem Proving
Axel Schairer; Serge Autexier; Dieter Hutter
In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science. Vol. 58, Elsevier Science Publishers, 2001.
Weitere Links
http://www.elsevier.com/gej-ng/31/29/23/90/33/32/58.2.006.pdf