An efficient A* search algorithm for statistical machine translation | Synapse