TY  - RPRT
TI  - [ ] or SUCCESS is Not Enough: Current Technology and Future Directions in Proof Presentation
AU  - Schumann, Johann
AU  - Robinson, Peter
AU  - Clancy, Daniel
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20020060128
ID  - 20020060128
ER  -