1. Toward Semantic Machine Translation Andreas, Jacob 2012 Theses Computer scienceMathematicsArtificial intelligence