Proving Termination with Adornments

Alexander Serebrenik, Danny De Schreye. Proving Termination with Adornments. In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Volume 3018 of Lecture Notes in Computer Science, pages 108-109, Springer, 2003. [doi]

Abstract

Abstract is missing.