Termination Dec 2, 2024 http://termination-portal.org/wiki/Termination_Competition https://tacas.info/toolympics.php Old Termination notes