pdf bibA machine-assisted human translation system for technical documentsVishwajeet Kumar | Ashish Kulkarni | Pankaj Singh | Ganesh Ramakrishnan | Ganesh ArnaalProceedings of Machine Translation Summit XV: User Track