TY - JOUR T1 - A Closer Look at Declarative Interpretations JF - J. Log. Program. Y1 - 1996 A1 - Krzysztof R. Apt A1 - Maurizio Gabbrielli A1 - Dino Pedreschi VL - 28 ER - 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 - TY - CONF T1 - Proving Termination of General Prolog Programs T2 - TACS Y1 - 1991 A1 - Krzysztof R. Apt A1 - Dino Pedreschi JF - TACS ER -