Fix links for "Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions"