Machine translation using constraint-based synchronous grammar | TUP Journals & Magazine | IEEE Xplore