Wilf, H. S., & Petkovsek, M. (1995). A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula. The Electronic Journal of Combinatorics, 3(2), R19. https://doi.org/10.37236/1277