TY  - RPRT
TI  - Putting time into proof outlines
AU  - Schneider, Fred B.
AU  - Bloom, Bard
AU  - Marzullo, Keith
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19930015963
ID  - 19930015963
ER  -