K. Gmeiner, B. Gramlich, F. Schernhammer: "On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems"; Report No. E1852-2012-01, 2012; 21 pages.
http://publik.tuwien.ac.at/files/PubDat_216399.pdf