A Theory of Alternating Paths and Blossoms for Proving Correctness of the O(sqrt{V E}) General Graph Maximum Matching Algorithm.

Vijay V. Vazirani A Theory of Alternating Paths and Blossoms for Proving Correctness of the O(sqrt{V E}) General Graph Maximum Matching Algorithm. 71-109 1994 14 Combinatorica 1 db/journals/combinatorica/combinatorica14.html#Vazirani94