Proof Explanation and Revision. Felty, A. & Miller, D. Technical Report MSCIS8817, University of Pennsylvania, 1987.
Proof Explanation and Revision [link]Paper  bibtex   
@TECHREPORT{felty1987,
  author = {Felty, Amy and Miller, Dale},
  title = {{Proof Explanation and Revision}},
  institution = {University of Pennsylvania},
  year = {1987},
  number = {MSCIS8817},
  keywords = {\#explanation,\#proof\_theory},
  mendeley-tags = {\#explanation,\#proof\_theory},
  url = {http://cm.bell-labs.com/who/felty/abstracts/proof87.html}
}
Downloads: 0