Dear Jan-Christoph,
thanks for explanations.
E.g., for relative termination we developed a new variant of DPs that I am going to present at IJCAR, which we use in our strategy for relative TRS and also showcase in the relative SRS strategy.
sounds great, and I am looking forward to the SRS-relative match ...
I stole your idea (seen at termcomp 23) of removing epsilons by context closure. This seems better for matrix interpretations.
- Johannes.