@article{Giaco98,
	author = {R. Giacobazzi},
	title = {Abductive analysis of modular logic programs},
	journal = {Journal of Logic and Computation},
	volume = {8}, 
	number = {4},
        pages = {457-484},
	year = {1998}}