Termination Analysis for Abductive General Logic Programs