TY - JOUR T1 - Reasoning about Termination of Pure Prolog Programs JF - Inf. Comput. Y1 - 1993 A1 - Krzysztof R. Apt A1 - Dino Pedreschi VL - 106 ER -