%0 Journal Article %J J. Log. Program. %D 1996 %T A Closer Look at Declarative Interpretations %A Krzysztof R. Apt %A Maurizio Gabbrielli %A Dino Pedreschi %B J. Log. Program. %V 28 %P 147-180 %G eng %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 %0 Conference Paper %B TACS %D 1991 %T Proving Termination of General Prolog Programs %A Krzysztof R. Apt %A Dino Pedreschi %B TACS %P 265-289 %G eng