@article {DBLP:journals/iandc/AptP93, title = {Reasoning about Termination of Pure Prolog Programs}, journal = {Inf. Comput.}, volume = {106}, number = {1}, year = {1993}, pages = {109-157}, author = {Krzysztof R. Apt and Dino Pedreschi} }