@misc{indiciae588c096b9f85,
  title = {Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators},
  author = {Toshiyasu Arai},
  year = {2010},
  url = {https://arxiv.org/abs/1005.2007},
  note = {Source identifier: 1005.2007}
}