Constrained phrase-based translation using weighted finite-state transducers | IEEE Conference Publication | IEEE Xplore