Externally supported models for efficient computation of paracoherent answer sets