TY - RPRT TI - E_n-regularity implies E_(n-1)-regularity AU - Goncalo Tabuada PY - 2013 UR - https://arxiv.org/abs/1212.1112 ID - 1212.1112 ER -