Paola Bertolazzi Giuseppe Di Battista Carlo Mannino Roberto Tamassia Optimal Upward Planarity Testing of Single-Source Digraphs. 132-169 1998 27 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp27.html#BertolazziBMT98