@misc{indiciae366a57d8ee34,
  title = {RedAlert: Determinacy Inference for Prolog},
  author = {Jael Kriener and Andy King},
  year = {2011},
  url = {https://arxiv.org/abs/1109.2548},
  note = {Source identifier: 1109.2548}
}