Gianluigi GrecoSolving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results.116-1362006conf/foiks/2006FoIKShttps://doi.org/10.1007/11663881_8db/conf/foiks/foiks2006.html#Greco06