Marco Castaldi Stefania Costantini Stefano Gentile Arianna Tocchio A Logic-Based Infrastructure for Reconfiguring Applications. 17-36 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2990&spage=17 2003 conf/dalt/2003 DALT db/conf/dalt/dalt2003.html#CastaldiCGT03