A.  Brogi, Renso, C., and Turini, F., ?Dynamic Composition of Parameterised Logic Modules?, Computer Languages, pp. 211?242, 1999.