Brandon Dixon Robert Endre Tarjan Optimal Parallel Verification of Minimum Spanning Trees in Logarithmic Time. 11-18 1997 17 Algorithmica 1 db/journals/algorithmica/algorithmica17.html#DixonT97