Verbmobil : foundations of speech-to-speech translation - Wahlster, Wolfgang, 1953- (Artificial intelligence, 2000)