Up-to Techniques for Branching Bisimilarity. - Rick Erkens; Jurriaan Rot; Bas Luttik (SOFSEM, 2020)

A Set Automaton to Locate All Pattern Matches in a Term. - Rick Erkens; Jan Friso Groote (ICTAC, 2021)

Adaptive Non-linear Pattern Matching Automata. - Rick Erkens; Maurice Laveaux (Log. Methods Comput. Sci., 2021)

Term Rewriting Based On Set Automaton Matching. - Mark Bouwman; Rick Erkens (CoRR, 2022)

Optimizing term rewriting with creeper trace transducers. - Rick Erkens (J. Log. Algebraic Methods Program., 2024)