Transformations of Conditional Rewrite Systems Revisited. - Karl Gmeiner; Bernhard Gramlich (WADT, 2008)

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

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

Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. - Karl Gmeiner; Naoki Nishida 001 (WPTE@RTA/TLCA, 2014)

On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. - Naoki Nishida 001; Makishi Yanagisawa; Karl Gmeiner (WPTE@RTA/TLCA, 2014)

Confluence of Conditional Term Rewrite Systems via Transformations. - Karl Gmeiner (WPTE@FSCD, 2016)