A Core Method for the Weak Completion Semantics with Skeptical Abduction