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.
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.