TY - RPRT TI - A Boolean Algebraic Approach to Semiproper Iterations AU - Matteo Viale AU - Giorgio Audrito AU - Silvia Steila PY - 2014 UR - https://arxiv.org/abs/1402.1714 ID - 1402.1714 ER -