@inproceedings{SBD02b,
  author    = {Aaron Stump and
               Clark W. Barrett and
               David L. Dill},
  title     = {Producing Proofs from an Arithmetic Decision Procedure in
               Elliptical {LF}},
  booktitle = "Proceedings of the $3^{rd}$ International Workshop on Logical Frameworks and Meta-Languages (LFM '02)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "70(2)",
  publisher = "Elsevier",
  editor    = "Frank Pfenning",
  pages     = "29--41",
  month     = jul,
  year      = 2002,
  note      = "Copenhagen, Denmark"
}