Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies.

Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai

Browse the full CADE paper archive.