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