@Article{Taclets,
  author = 	 {Bernhard Beckert and Martin Giese and Elmar Habermalz and
                  Reiner H\"{a}hnle and Andreas Roth and Philipp R\"{u}mmer 
                  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},
  year = 	 {2004},
  volume = {98},
  number = {1},
  note = {Special Issue on Symbolic Computation in Logic and
                  Artificial Intelligence} 
}