www.prismmodelchecker.org
[GS62] D. Gale and L.S. Shapley. College admissions and the stability of marriage. American Mathematical Monthly, 69, pages 9–15. 1962.

Publications