Nipkowand Traytel. Unified Decision Procedures for Regular Expression Equivalence. Springer International Publishing, 2014, doi:10.1007/978-3-319-08970-6_29.