%0 Journal Article %J Inf. Comput. %D 1993 %T Reasoning about Termination of Pure Prolog Programs %A Krzysztof R. Apt %A Dino Pedreschi %B Inf. Comput. %V 106 %P 109-157 %G eng