TY - RPRT TI - Constructive Homological Algebra and Applications AU - Julio Rubio AU - Francis Sergeraert PY - 2013 UR - https://arxiv.org/abs/1208.3816 ID - 1208.3816 ER -