Reconstructing Proofs at the Assertion Level. Huang, X. In Proceedings of CADE-94, of LNAI-814, pages 738--752, 1994. Springer.
bibtex   
@INPROCEEDINGS{huang1994,
  author = {Huang, Xiaorong},
  title = {{Reconstructing Proofs at the Assertion Level}},
  booktitle = {Proceedings of CADE-94},
  year = {1994},
  series = {LNAI-814},
  pages = {738--752},
  publisher = {Springer},
  keywords = {\#comparison,\#use},
  mendeley-tags = {\#comparison,\#use}
}

Downloads: 0