@misc{indiciae174a3cfc76b7,
  title = {Tree-oriented interactive processing with an application to theorem-proving, appendix E},
  author = {Hammerslag, David and Kamin, Samuel N. and Campbell, Roy H.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19870018870},
  note = {Source identifier: 19870018870}
}