Ben Barber, Daniela Kühn, Allan Lo, Deryk Osthus and Amelia Taylor Journal of Combinatorial Theory, Series A, Volume 151, October 2017, Pages 146–201 PDF A Latin square of order is an grid of cells, each of which contains one of distinct symbols, such that no symbol appears twice in any row or column. There is a natural …