In: Hans Karlgren (Hrsg.). Proceedings of the13th International Conference on Computational Linguistics (COLING '90). International Conference on Computational Linguistics (COLING), 13th, August 20-25, Helsinki, Finland, Pages 371-376, Vol. 2, University of Helsinki, 1990.
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.