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