Danny De Schreye Stefaan Decorte Termination of Logic Programs: The Never-Ending Story. 199-260 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#SchreyeD94