@misc{indiciae05614249c58f,
  title = {Type Inference for Guarded Recursive Data Types},
  author = {Peter J. Stuckey and Martin Sulzmann},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0507037},
  note = {Source identifier: cs/0507037}
}