@misc{indiciaea25b24bc92dc,
  title = {Constraint Propagation for First-Order Logic and Inductive Definitions},
  author = {Johan Wittocx and Marc Denecker and Maurice Bruynooghe},
  year = {2011},
  url = {https://arxiv.org/abs/1008.2121},
  note = {Source identifier: 1008.2121}
}