@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}
}