Automatic Verification of GHC-Programs: Termination

Lutz Plümer. Automatic Verification of GHC-Programs: Termination. In FGCS. pages 489-496, 1992.

Abstract

Abstract is missing.