TY  - RPRT
TI  - Term Rewriting on GPUs
AU  - Johri van Eerd
AU  - Jan Friso Groote
AU  - Pieter Hijma
AU  - Jan Martens
AU  - Anton Wijs
PY  - 2020
UR  - https://arxiv.org/abs/2009.07174
ID  - 2009.07174
ER  -