In: Deduktionssysteme. Automatisierung des logischen Denkens. Seiten 134-152 Oldenbourg Verlag 1987.
Zur PublikationIn: Deduktionssysteme. Automatisierung des logischen Denkens. Seiten 104-114 Oldenbourg-Verlag 1987.
Zur PublikationIn: Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87) March 18-20 Val d`Ajol France Seiten 162-169 Rapport Interne 87 R 34 Université de Nancy 1987.
Zur PublikationUniversität Kaiserslautern SEKI Working Papers SWP-87-07 1987.
Zur PublikationUniversität Kaiserslautern SEKI Reports SR-87-08 1987.
Zur PublikationUniversität Kaiserslautern SEKI Reports SR-87-15 1987.
Zur PublikationSkriptum Universität Kaiserslautern, Skriptum WS 1986/87 1987.
Zur PublikationIn: Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on Rewriting Techniques and Applications (RTA-2) 2nd May 25-27 Bordeaux France Seiten 204-215 Lecture Notes in Computer Science (LNCS) 256 Springer 1987.
Zur PublikationUniversité de Nancy Rapport Interne 87 R 34 1987.
Zur Publikation