Proving Termination of GHC Programs

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar. Proving Termination of GHC Programs. In ICLP. pages 720-736, 1993.

Abstract

Abstract is missing.