A combinatorial theorem with an application to latin rectangles

Everett, C. J., 1949, Representations of sequences of sets, Amer. J. Math., 71, 287, 10.2307/2372244

Hall, Marshall, 1945, An existence theorem for Latin squares, Bull. Amer. Math. Soc., 51, 387, 10.1090/S0002-9904-1945-08361-X

Hall, Marshall, Jr., 1948, Distinct representatives of subsets, Bull. Amer. Math. Soc., 54, 922, 10.1090/S0002-9904-1948-09098-X

P. Hall, On representatives of subsets, J. London Math. Soc. vol. 10 (1935) pp. 26-30.

König, Dénes, 1916, Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre, Math. Ann., 77, 453, 10.1007/BF01456961