Restricting Tree Grammars with Term Rewriting. - Jan Bessai; Lukasz Czajka 001; Felix Laarmann; Jakob Rehof (FSCD, 2022)

Finite Combinatory Logic with Predicates. - Andrej Dudenhefner; Christoph Stahl; Constantin Chaumet; Felix Laarmann; Jakob Rehof (TYPES, 2023)