TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language.

Sven Eric Panitz, Manfred Schmidt-Schau

Browse the full SAS paper archive.