In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …
In: Proceedings of the 15th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-94), …