TY  - RPRT
TI  - TIGRE: Combinator graph reduction on the RTX 2000
AU  - Koopman, Philip, Jr.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19930073240
ID  - 19930073240
ER  -