Harold N. Gabow Haim Kaplan Robert Endre Tarjan Unique Maximum Matching Algorithms. 159-183 2001 40 J. Algorithms 2 db/journals/jal/jal40.html#GabowKT01