@misc{indiciae6a8e16bc7fd5,
  title = {An Application Specific Informal Logic for Interest Prohibition Theory},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2011},
  url = {https://arxiv.org/abs/1104.0308},
  note = {Source identifier: 1104.0308}
}