“Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF” by Aaron Stump, Clark W. Barrett, and David L. Dill. In Proceedings of the 3^rd International Workshop on Logical Frameworks and Meta-Languages (LFM '02), (Frank Pfenning, ed.), July 2002, pp. 29-41. Copenhagen, Denmark.
BibTeX entry:
@inproceedings{SBD02b, author = {Aaron Stump and Clark W. Barrett and David L. Dill}, editor = {Frank Pfenning}, title = {Producing Proofs from an Arithmetic Decision Procedure in Elliptical {LF}}, booktitle = {Proceedings of the {\it 3^{rd}} International Workshop on Logical Frameworks and Meta-Languages (LFM '02)}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70(2)}, pages = {29--41}, publisher = {Elsevier}, month = jul, year = {2002}, note = {Copenhagen, Denmark}, url = {http://theory.stanford.edu/~barrett/pubs/SBD02b.pdf} }
(This webpage was created with bibtex2web.)