1. Texts in Theoretical Computer Science;Y. Bertot,2004
2. Buchberger, B., Dupre, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D., Windsteiger, W.: The Theorema Project: A Progress Report. In: Kerber, M., Kohlhase, M. (eds.) Symbolic Computation and Automated Reasoning, Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 6-7, pp. 98–113. A.K. Peters, Natick (2000)
3. Lecture Notes in Computer Science;T. Nipkow,2002
4. Lecture Notes in Computer Science;M. Sato,2001
5. Lecture Notes in Artificial Intelligence;M. Sato,2002