%0 Conference Paper %B Computational Logic: Logic Programming and Beyond %D 2002 %T The Declarative Side of Magic %A Paolo Mascellani %A Dino Pedreschi %B Computational Logic: Logic Programming and Beyond %P 83-108 %G eng