@misc{indiciaedaa0002bcdb0,
  title = {A Logic for Non-Monotone Inductive Definitions},
  author = {Marc Denecker and Eugenia Ternovska},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0501025},
  note = {Source identifier: cs/0501025}
}