A sufficient condition for the termination of the direct sum of term rewriting systems

Termination for direct sums of left-linear complete term rewriting systems

Journal of the ACM (JACM)

Modular termination of context-sensitive rewriting

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

Modular termination proofs for rewriting using dependency pairs

Journal of Symbolic Computation

Rewriting-Based Access Control Policies

Electronic Notes in Theoretical Computer Science (ENTCS)

Modular access control via strategic rewriting

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security

Modularity in term rewriting revisited

Theoretical Computer Science

Abstract Relations Between Restricted Termination And Confluence Properties Of Rewrite Systems

Fundamenta Informaticae

Simplification Orderings: History Of Results

Fundamenta Informaticae