TY  - RPRT
TI  - Cooperation Among Theorem Provers
AU  - Waldinger, Richard J.
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20000021050
ID  - 20000021050
ER  -