@misc{indiciae05fa0f632651,
  title = {TIGRE: Combinator graph reduction on the RTX 2000},
  author = {Koopman, Philip, Jr.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19930073240},
  note = {Source identifier: 19930073240}
}