gasche/icfp2013-papers — pull request #6 by dtraytel (2013-07-15 11:54:38+00:00)
Title: Fix links for "Verified Decision Procedures for MSO on Words Based on De...

...rivatives of Regular Expressions"