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

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