@misc{indiciaee1238a245946,
  title = {Dependently Typed Programming based on Automated Theorem Proving},
  author = {Alasdair Armstrong and Simon Foster and Georg Struth},
  year = {2011},
  url = {https://arxiv.org/abs/1112.3833},
  note = {Source identifier: 1112.3833}
}