Cohomological theory of crystals over function fields and applications - Böckle, Gebhard (Arithmetic Geometry over Global Function Fields, 2014)