@TechReport{BeckertGieseEA2004tr,
  author	= {Bernhard Beckert and Martin Giese and Elmar Habermalz and
                   Reiner Hähnle and Andreas Roth and Philipp Rümmer and 
                   Steffen Schlager},
  title		= {Taclets: A New Paradigm for Constructing Interactive
		  Theorem Provers},
  institution	= {Department of Computer Science, University of Koblenz},
  volume	= {Technical Reports in Computer Science 
                   (Fachberichte Informatik)},
  number	= {9-2004},
  year		= {2004}
}