A.  Brogi, Mancarella, P., Pedreschi, D., and Turini, F., ?Modular Logic Programming?, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.