A.  Brogi, Mancarella, P., Pedreschi, D., and Turini, F., ?Meta for Modularising Logic Programming?, in META, 1992, pp. 105-119.