Avenhaus, J. ; Plaisted, D.: General Algorithms for Permutations in Equational Inference, J. Automated Reasoning 26, 2001, pp. 223-268.
Conference Proceedings
Avenhaus. J. ; Löchner, B.: CCE: Teting Ground Joinability, In: Gore, R.; Leitsch, A.; Nipkow, T (eds.): First International Joint Conference on Automated Reasoning, IJCAR 2001, Siena, Italy, LNCS 2083, Springer, pp. 658-662, 2001.
Avenhaus, J.; Denzinger, J.; Küchlin, W.; Sinz, C.: Combining Parallel and Distributed Search in Automated Equational Deduction, Cobference on Parallel Processing and Applied Mathematics, PPAM 2001, Naleczow, Poland, LNCS, 2001, Proceedings to appear.
Hillenbrand, T.; Löchner, B.: The next Waldmeister loop (Extended Abstract), In: de Nivelle, H. Schulz, S.: Proceedings of the Second International Workshop on the implementation of Logics, Technical Report MPI-I-2001-2-006, Max-Plank-Indtitut für Informatik, pp 13-21, 2001
Löchner, B. ; Schulz, S.: An evaluation of shared rewriting, In: de Nivelle, H. Schulz, S.: Proceedings of the Second International Workshop on the implementation of Logics, Technical Report MPI-I-2001-2-006, Max-Plank-Indtitut für Informatik, pp 33-48, 2001
Nieuwenhuis, R. ; Hillenbrand, Th. ; Riazanov, A. ; Vorankov, A.: On the Evaluation of Indexing Techniques for Theorem Proving, First International Joint Conference on Automated Reasoning, IJCAR 2001, Siena, Italy LNCS 2083, Springer, pp. 257-271, 2001
Internal Reports
Lorenz, A.: ILTIS - Information Location an Tracking by Integrating Services on the Web. Fachbereich Informatik, Universität Kaiserslauern, 2001
