@inproceedings{GGM93,
	author = {M. Gabbrielli and R. Giacobazzi and D. Montesi},
	title = "Modular Logic Programs over Finite Domains",
	booktitle = "Proc. Eight Italian Conference on Logic Programming",
	editor = "D. Sacc\`{a}",
	pages="663-678",
	year = {1993},
        note = {Also Technical Report LIX -- Ecole Polytechnique
        LIX/RR/94/04}}