publication venue for MINIMUM CIRCUIT SIZE, GRAPH ISOMORPHISM, AND RELATED PROBLEMS 2018 ALGORITHMS FOR GROUP ISOMORPHISM VIA GROUP EXTENSIONS AND COHOMOLOGY 2017 ON ETOL SYSTEMS WITH FINITE TREE-RANK 1981 PUMPING LEMMAS FOR REGULAR SETS 1981