Certification of Proving Termination of Term Rewriting by Matrix Interpretations.

Adam Koprowski, Hans Zantema

Browse the full SOFSEM paper archive.