© DFKI, 2023
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.
To the publicationSkriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.
To the publicationUniversité de Nancy, Rapport Interne, Vol. 87 R 34, 1987.
To the publicationIn: Pierre Lescanne (Hrsg.). 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, Pages 204-215, Lecture Notes in Computer Science (LNCS), Vol. 256, Springer, 1987.
To the publicationIn: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.
To the publication© DFKI, 2023