Add papers on automatic generation of regexes