Denis Firsov Tarmo Uustalu Certified Normalization of Context-Free Grammars. 167-174 2015 CPP https://doi.org/10.1145/2676724.2693177 conf/cpp/2015 db/conf/cpp/cpp2015.html#FirsovU15