A Transformational Methodology for Proving Termination of Logic Programs.

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar

Browse the full CSL paper archive.