© DFKI, 2023
Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang
Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.
To the publicationIn: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9), May 23-26, Argonne, IL, USA, Pages 517-526, Lecture Notes in Computer Science (LNCS), Vol. 310, Springer, 1988.
To the publication© DFKI, 2023