Proving Termination of Logic Programs. - Bal Wang; R. K. Shyamsundar (A Perspective in Theoretical Computer Science, 1989)

Towards a Characterization of Termination of Logic Programs. - Bal Wang; R. K. Shyamasundar (PLILP, 1990)

Methodology for Proving the Termination of Logic Programs. - Bal Wang; R. K. Shyamasundar (STACS, 1991)

A Methodology for Provin Termination of Logic Programs. - R. K. Shyamasundar; Bal Wang (J. Log. Program., 1994)