Covering theorems for the core model, and an application to stationary set reflection

We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflection.