Brandon Dixon, Robert Endre Tarjan. Optimal Parallel Verification of Minimum Spanning Trees in Logarithmic Time. In Michel Cosnard, Afonso Ferreira, Joseph G. Peters, editors, Parallel and Distributed Computing, First Canada-France Conference, Montréal, Canada, May 19-21, 1994, Proceedings. Volume 805 of Lecture Notes in Computer Science, pages 13-22, Springer, 1994.