@misc{indiciaecc62c8f7af6e,
  title = {Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form},
  author = {Mary Southern and Gopalan Nadathur},
  year = {2013},
  url = {https://arxiv.org/abs/1310.8568},
  note = {Source identifier: 1310.8568}
}