Termination of Lazy Rewriting Revisited. - Felix Schernhammer; Bernhard Gramlich (WRS@RDP, 2007)

VMTL-A Modular Termination Laboratory. - Felix Schernhammer; Bernhard Gramlich (RTA, 2009)

Extending Context-Sensitivity in Term Rewriting - Bernhard Gramlich; Felix Schernhammer (WRS, 2009)

On (Un)Soundness of Unravelings. - Karl Gmeiner; Bernhard Gramlich; Felix Schernhammer (RTA, 2010)

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns - Bernhard Gramlich; Felix Schernhammer (IWS, 2010)

Characterizing and proving operational termination of deterministic conditional term rewriting systems. - Felix Schernhammer; Bernhard Gramlich (J. Log. Algebraic Methods Program., 2010)

Incremental checking of well-founded recursive specifications modulo axioms. - Felix Schernhammer; José Meseguer 001 (PPDP, 2011)

On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. - Karl Gmeiner; Bernhard Gramlich; Felix Schernhammer (RTA, 2012)