Symbolic Integration in Prime Characteristic
  In this paper we study elementary extensions of differential fields in prime characteristic. In particular, we show that, in contrast to Liouville's result in characteristic zero, all elements of an elementary extension admit an antiderivative in some logarithmic extension. 
Bill Allombert
math.NT math.AC