diff -r 2e7c7111c0be -r 31abe0e496bc ChengsongPhdThesis/regex_time_complexity.bib
--- a/ChengsongPhdThesis/regex_time_complexity.bib	Thu Mar 24 20:52:34 2022 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,66 +0,0 @@
-%% This BibTeX bibliography file was created using BibDesk.
-%% https://bibdesk.sourceforge.io/
-
-%% Created for CS TAN at 2022-02-22 23:40:24 +0000 
-
-
-%% Saved with string encoding Unicode (UTF-8) 
-
-
-
-@article{SulzmannLu14,
-	author = {Martin Sulzmann, Kennie Zhuo Ming Lu},
-	date-added = {2022-02-22 23:36:08 +0000},
-	date-modified = {2022-02-22 23:40:23 +0000},
-	journal = {FLOPS},
-	title = {POSIX Regular Expression Parsing with Derivatives},
-	year = {2014},
-	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAdcmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGZPEQGoAAAAAAGoAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8dcmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAIAAAogY3UAAAAAAAAAAAAAAAAACXJlZ2V4X2JpYgAAAgBHLzpVc2Vyczpjc3RhbjpEcm9wYm94OldvcmtzcGFjZTpyZWdleF9iaWI6cmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGYAAA4APAAdAHIAZQBnAGUAeAAtAHAAYQByAHMAaQBuAGcALQBkAGUAcgBpAHYAYQB0AGkAdgBlAHMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEVVc2Vycy9jc3Rhbi9Ecm9wYm94L1dvcmtzcGFjZS9yZWdleF9iaWIvcmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGYAABMAAS8AABUAAgAM//8AAAAIAA0AGgAkAEQAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAAB8A==}}
-
-@article{Thompson_1968,
-	author = {Ken Thompson},
-	date-added = {2022-02-22 23:24:32 +0000},
-	date-modified = {2022-02-22 23:24:32 +0000},
-	doi = {10.1145/363347.363387},
-	journal = {Communications of the {ACM}},
-	month = {jun},
-	number = {6},
-	pages = {419--422},
-	publisher = {Association for Computing Machinery ({ACM})},
-	title = {Programming Techniques: Regular expression search algorithm},
-	url = {https://doi.org/10.1145%2F363347.363387},
-	volume = {11},
-	year = 1968,
-	bdsk-url-1 = {https://doi.org/10.1145%2F363347.363387},
-	bdsk-url-2 = {https://doi.org/10.1145/363347.363387}}
-
-@article{Baeza_Yates_1996,
-	author = {Ricardo A. Baeza-Yates and Gaston H. Gonnet},
-	date-added = {2022-02-22 22:54:46 +0000},
-	date-modified = {2022-02-22 22:54:46 +0000},
-	doi = {10.1145/235809.235810},
-	journal = {Journal of the {ACM}},
-	month = {nov},
-	number = {6},
-	pages = {915--936},
-	publisher = {Association for Computing Machinery ({ACM})},
-	title = {Fast text searching for regular expressions or automaton searching on tries},
-	url = {https://doi.org/10.1145%2F235809.235810},
-	volume = {43},
-	year = 1996,
-	bdsk-url-1 = {https://doi.org/10.1145%2F235809.235810},
-	bdsk-url-2 = {https://doi.org/10.1145/235809.235810}}
-
-@article{BaezaYates96,
-	author = {Baeza-Yates, Ricardo A.; Gonnet, Gaston H.},
-	date-added = {2022-02-22 22:43:23 +0000},
-	date-modified = {2022-02-22 22:51:43 +0000},
-	journal = {J. ACM},
-	number = {no. 6},
-	pages = {915--936.},
-	rss-description = {MR1434907 68Q25 (68P05) 
-Baeza-Yates, Ricardo A.; Gonnet, Gaston H. Fast text searching for regular expressions or automaton searching on tries. J. ACM 43 (1996), no. 6, 915--936.},
-	title = {Fast text searching for regular expressions or automaton searching on tries.},
-	volume = {43 (1996)},
-	year = {1996},
-	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAmcHRyZWVzX3N1YmxpbmVhcl9yZWdleDk2QmFlemVZYXRlcy5wZGZPEQHKAAAAAAHKAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8fcHRyZWVzX3N1YmxpbmVhcl9yI0ZGRkZGRkZGLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAIAAAogY3UAAAAAAAAAAAAAAAAACXJlZ2V4X2JpYgAAAgBQLzpVc2Vyczpjc3RhbjpEcm9wYm94OldvcmtzcGFjZTpyZWdleF9iaWI6cHRyZWVzX3N1YmxpbmVhcl9yZWdleDk2QmFlemVZYXRlcy5wZGYADgBOACYAcAB0AHIAZQBlAHMAXwBzAHUAYgBsAGkAbgBlAGEAcgBfAHIAZQBnAGUAeAA5ADYAQgBhAGUAegBlAFkAYQB0AGUAcwAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIATlVzZXJzL2NzdGFuL0Ryb3Bib3gvV29ya3NwYWNlL3JlZ2V4X2JpYi9wdHJlZXNfc3VibGluZWFyX3JlZ2V4OTZCYWV6ZVlhdGVzLnBkZgATAAEvAAAVAAIADP//AAAACAANABoAJABNAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAhs=}}