Innermost many-sorted term rewriting on GPUs. - Eerd, Johri van; Groote, Jan Friso; Hijma, Pieter; Martens, Jan; Osama, Muhammad; Wijs, Anton (Sci. Comput. Program., 2023)

Term Rewriting on GPUs. - Eerd, Johri van; Groote, Jan Friso; Hijma, Pieter; Martens, Jan; Wijs, Anton (2021)

Term Rewriting on GPUs. - Eerd, Johri van; Groote, Jan Friso; Hijma, Pieter; Martens, Jan; Wijs, Anton (CoRR, 2020)