diff -r 73f7dc60c285 -r 2c38f10643ae thys/Paper/document/root.bib
--- a/thys/Paper/document/root.bib	Tue Mar 01 12:10:11 2016 +0000
+++ b/thys/Paper/document/root.bib	Wed Mar 02 04:13:25 2016 +0000
@@ -14,6 +14,16 @@
   howpublished = "\url{https://wiki.haskell.org/Regex_Posix}"
 }
 
+@article{Vansummeren2006,
+  author = {S.~Vansummeren},
+  title = {{T}ype {I}nference for {U}nique {P}attern {M}atching},
+  year = {2006},
+  journal = {ACM Transactions on Programming Languages and Systems},
+  volume = {28},
+  number = {3},
+  pages = {389--428}
+}
+
 @InProceedings{Asperti12,
   author =       {A.~Asperti},
   title =        {{A} {C}ompact {P}roof of {D}ecidability for {R}egular {E}xpression {E}quivalence},