Characterization of AGM Belief Contraction in Terms of Conditionals