A Logic-Based Infrastructure for Reconfiguring Applications. - Marco Castaldi; Stefania Costantini; Stefano Gentile; Arianna Tocchio (DALT, 2003)