In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES), Siena, 2001.
In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent Systems (SEMAS), Montreal, 2001.
In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software Engineering (ASE), San Diego, IEEE Computer Society, 2001.
In: Miriam Butt; Tracy Holloway King (Hrsg.). Proceedings of the 6th International Lexical Functional Grammar Conference. International Lexical Functional Grammar Conference (LFG-01), June 25-27, Hong Kong, Pages 184-200, CSLI Publications, 2001.
In: Daniel Flickinger; Andreas Kathol (Hrsg.). Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar. International Conference on Head-Driven Phrase Structure Grammar (HPSG-00), June 22-23, University of California, Berkeley, CA, USA, Pages 198-213, CSLI Publications, 2001.
In: Proceedings of the 7th International Workshop on Parsing Technologies (IWPT'01), October 17-19. International Conference on Parsing Technologies (IWPT), Beijing, China, Pages 66-77, 2001.