N. J. Williams, “The First Higher Stasheff-Tamari Orders are Quotients of the Higher Bruhat Orders”, Electron. J. Combin., vol. 30, no. 1, p. P1.29, Feb. 2023.