@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},
  pages  =      {17-53},
  note =         {Special Issue on Symbolic Computation in Logic and Artificial
                  Intelligence},
  year = 	 {2004}
}