@misc{indiciae11286a68764d,
  title = {Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem},
  author = {Benno van den Berg and Federico De Marchi},
  year = {2006},
  url = {https://arxiv.org/abs/math/0508531},
  note = {Source identifier: math/0508531}
}