Carsten Thomassen The Even Cycle Problem for Planar Digraphs. 61-75 1993 15 J. Algorithms 1 db/journals/jal/jal15.html#Thomassen93