Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy - Artificial Intelligence and Symbolic Computation - page 250

21. F. Pfenning. Elf: A meta-language for deductive systems. In A. Bundy, editor,
Proc. of the 12th International Conference on Automated Deduction, CADE'94 ,
volume 814 of LNAI , pages 811-815, Nancy, France, 1995. Springer Verlag.
22. F. Pfenning. Logical frameworks. In A. Robinson and A. Voronkov, editors, Hand-
book of Automated Reasoning , chapter 17, pages 1063-1147. Elsevier Science and
MIT Press, 2001.
23. F. Piroi and B. Buchberger. An environment for building mathematical knowledge
libraries. In A. Asperti, G. Bancerek, and A. Trybulec, editors, Proc.ofthe3rd
Int. Conference on Mathematical Knowledge Management, MKM'04 , volume 3119
of Lecture Notes in Computer Science , Bialowieza, Poland, 19-21 September 2004.
Springer Verlag. To appear.
24. E. Tomuta. An architecture for combining provers and its applications in the The-
orema system. Technical Report 98-14, PhD Thesis. RISC, Johannes Kepler Uni-
versity, Linz, Austria, 1998.
25. M. Sato. Theory of judgments and derivations. In Arikawa, S. and Shinohara,
A. eds., Progress in Discovery Science , Lecture Notes in Artificial Intelligence 2281,
pp. 78 - 122, Springer, 2002.
26. M. Sato, T. Sakurai, Y. Kameyama and A. Igarashi. Calculi of meta-variables.
In Baaz M. and Makowsky, J.A. eds., Computer Science Logic , Lecture Notes in
Computer Science 2803, pp. 484 - 497, Springer, 2003.