A quantitative comparison of microfossil extraction methods from ice cores