@misc{indiciaec37cbc4c8989,
  title = {Improved Inference for Checking Annotations},
  author = {Peter J Stuckey and Martin Sulzmann and Jeremy Wazny},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0507036},
  note = {Source identifier: cs/0507036}
}