@Article{BeckertGieseEA2004,
author = {Bernhard Beckert and Martin Giese and
Elmar Habermalz and Reiner H\"ahnle and
Andreas Roth and Philipp R\"ummer and
Steffen Schlager},
title = {Taclets: {A} New Paradigm for Constructing
Interactive Theorem Provers},
journal = {Revista de la Real Academia de Ciencias Exactas,
F\'{i}sicas y Naturales, Serie A:
Matem\'{a}ticas (RACSAM)},
volume = {98},
number = {1},
note = {Special Issue on Symbolic Computation in Logic and Artificial
Intelligence},
year = {2004}
}