Jeffry L. Hirst, Noah A. Hughes. Reverse mathematics and marriage problems with finitely many solutions. Arch. Math. Log., 55(7-8):1015-1024, 2016. [doi]
@article{HirstH16, title = {Reverse mathematics and marriage problems with finitely many solutions}, author = {Jeffry L. Hirst and Noah A. Hughes}, year = {2016}, doi = {10.1007/s00153-016-0509-4}, url = {http://dx.doi.org/10.1007/s00153-016-0509-4}, researchr = {https://researchr.org/publication/HirstH16}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {55}, number = {7-8}, pages = {1015-1024}, }