R. K. Shyamasundar Bal Wang A Methodology for Provin Termination of Logic Programs. 1-30 1994 21 J. Log. Program. 1 db/journals/jlp/jlp21.html#ShyamasundarW94