Jacobo Valdes Robert Endre Tarjan Eugene L. Lawler 1-12 conf/stoc/STOC11 1979 STOC db/conf/stoc/stoc79.html#ValdesTL79