TY  - RPRT
TI  - Tree-oriented interactive processing with an application to theorem-proving, appendix E
AU  - Hammerslag, David
AU  - Kamin, Samuel N.
AU  - Campbell, Roy H.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19870018870
ID  - 19870018870
ER  -