Use semicolon after acronym as in other places in the paper