P.  Mascellani and Pedreschi, D., ?The Declarative Side of Magic?, in Computational Logic: Logic Programming and Beyond, 2002, pp. 83-108.

P.  Mascellani and Pedreschi, D., ?Proving termination of Prolog programs?, in GULP-PRODE (1), 1994, pp. 46-61.