Jan Denef Frederik Vercauteren An Extension of Kedlaya's Algorithm to Artin-Schreier Curves in Characteristic 2. 308-323 2002 conf/ants/2002 ANTS http://link.springer.de/link/service/series/0558/bibs/2369/23690308.htm db/conf/ants/ants2002.html#DenefV02