On Operational Termination of Deterministic Conditional Rewrite Systems (2007)

by Felix Schernhammer , Bernhard Gramlich