@misc{indiciaef108c8ae76aa,
  title = {Quotient-Comprehension Chains},
  author = {Kenta Cho and Bart Jacobs and Bas Westerbaan and Bram Westerbaan},
  year = {2015},
  doi = {10.4204/eptcs.195.10},
  url = {https://arxiv.org/abs/1511.01570},
  note = {Source identifier: 1511.01570}
}