bib Translation of Patent Documents at the United States Patent and Trademark OfficeArti ShahProceedings of the Third Workshop on Patent Translation