@article {DBLP:journals/jlp/AptGP96, title = {A Closer Look at Declarative Interpretations}, journal = {J. Log. Program.}, volume = {28}, number = {2}, year = {1996}, pages = {147-180}, author = {Krzysztof R. Apt and Maurizio Gabbrielli and Dino Pedreschi} } @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} } @conference {DBLP:conf/tacs/AptP91, title = {Proving Termination of General Prolog Programs}, booktitle = {TACS}, year = {1991}, pages = {265-289}, author = {Krzysztof R. Apt and Dino Pedreschi} }