Determinación del ĺımite estratigráfico entre las formaciones cerrejón y tabaco para contribuir a la optimización de la mineŕıa en la pared alta del tajo Annex de la Mina Cerrejón, La Guajira