Marianne Baudinet Proving Termination Properties of Prolog Programs: A Semantic Approach. 1-29 1992 14 J. Log. Program. 1&2 db/journals/jlp/jlp14.html#Baudinet92