Selected papers that cite this one Roberto Giacobazzi. Abductive analysis of modular logic programs. Journal of Logic and Computation, 8(4):457-483, August 1998.