%% 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=}}