TY - RPRT TI - Acyclicity and reduction AU - Dominique Lecomte PY - 2016 UR - https://arxiv.org/abs/1607.04010 ID - 1607.04010 ER -