1. Jan Denef and Frederik Vercauteren, An extension of Kedlaya's algorithm to Artin-Schreier curves in characteristic 2, Algorithmic Number Theory (Sydney, 2002), Lecture Notes in Comput. Sci., vol. 2369, Springer, Berlin, 2002, pp. 308–323.[MR]