In: Hans Karlgren (Hrsg.). Proceedings of the 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-90), 13th, August 19-25, Helsinki, Finland, Pages 288-293, Vol. 2, University of Helsinki, 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.
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: P. Jorrand; V. Sgurev (Hrsg.). Artificial Intelligence IV - Methodology, Systems, and Applications. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA), September 19-22, Albena, Bulgaria, Pages 371-382, ISBN 0-444-88771-7, North-Holland Publishing Company, 1990.