Data conflict resolution using trust mappings
Complexity and Expressive Power of Logic Programming