Jun Wako: A Polynomial-Time Algorithm to Find von Neumann-Morgenstern Stable Matchings in Marriage Games. Algorithmica 58(1): 188-220 (2010)