Zvi Galil Silvio Micali Harold N. Gabow An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs. 120-130 1986 15 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp15.html#GalilMG86