∃-Universal Termination of Logic Programs