@inproceedings{sarkar+:oracle,
  author    = {Susmit Sarkar and
               Brigitte Pientka and
               Karl Crary},
  title     = {Small Proof Witnesses for LF},
  booktitle = {International Conference on Logic Programming},
  year      = {2005},
  pages     = {387-401},
  ee        = {http://dx.doi.org/10.1007/11562931_29},
}