@Article{Beckert:RACSAM-98-1-17,
  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",
  pages =        "17--53",
  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",
  ee =           "http://dmle.cindoc.csic.es/en/revistas/detalle.php?numero=3595",
  URL =          "http://dmle.cindoc.csic.es/pdf/RACSAM_2004_98_01-02_03.pdf",
}