Dan Gusfield Three Fast Algorithms for Four Problems in Stable Marriage. 111-128 1987 16 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp16.html#Gusfield87