In: H. Marburger (Hrsg.). 14th German Workshop on Artificial Intelligence. German Workshop on Artifical Intelligence (GWAI), 14th, September 10-14, Eringerfeld, Germany, Pages 297-306, Informatik-Fachberichte, Vol. 251, Springer, 1990.
In: Hans Karlgren (Hrsg.). 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-90), 13th, August 20-25, Helsinki, Finland, Pages 311-313, Vol. 3, ISBN 9529020279, 9789529020270, Helsinki University, 1990.
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer-Verlag, 1990.