Cut-Based Abduction - Sciweavers