Zvi Galil Efficient Algorithms for Finding Maximum Matching in Graphs. 23-38 1986 18 ACM Comput. Surv. 1 db/journals/csur/csur18.html#Galil86 http://doi.acm.org/10.1145/6462.6502