--- a/ninems/root.bib	Thu Jul 25 21:02:06 2019 +0100
+++ b/ninems/root.bib	Sun Aug 18 22:19:46 2019 +0100
@@ -1,15 +1,23 @@
 %% This BibTeX bibliography file was created using BibDesk.
 %% https://bibdesk.sourceforge.io/
 
-%% Created for CS TAN at 2019-07-03 22:17:58 +0100 
+%% Created for CS TAN at 2019-08-18 19:00:13 +0100 
 
 
 %% Saved with string encoding Unicode (UTF-8) 
 
 
 
+@article{17Bir,
+	Author = {Asiri Rathnayake and Hayo Thielecke},
+	Date-Added = {2019-08-18 17:57:30 +0000},
+	Date-Modified = {2019-08-18 18:00:13 +0000},
+	Journal = {arXiv:1405.7058},
+	Title = {Static Analysis for Regular Expression Exponential Runtime via Substructural Logics},
+	Year = {2017}}
+
 @article{nielson11bcre,
-	Author = { Lasse Nielsen, Fritz Henglein},
+	Author = {Lasse Nielsen, Fritz Henglein},
 	Date-Added = {2019-07-03 21:09:39 +0000},
 	Date-Modified = {2019-07-03 21:17:33 +0000},
 	Journal = {LATA},