Fix links for "Verified Decision Procedures for MSO on Words Based on De...

...rivatives of Regular Expressions"