Taclets: A new paradigm for constructing interactive theorem provers. Revista de la Real Academia de Ciencias Exactas, F́ısicas y (0)

by Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, Steffen Schlager
Venue:Naturales, Serie A: Matemáticas (RACSAM), 98(1):17–53, 2004. Special Issue on Symbolic Computation in Logic and Artificial Intelligence