@misc{indiciae055c6a89b8f2,
  title = {An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization},
  author = {Mohamed Barakat and Markus Lange-Hegermann},
  year = {2017},
  doi = {10.1142/s0219498811004562},
  url = {https://arxiv.org/abs/1003.1943},
  note = {Source identifier: 1003.1943}
}