WILLIAMS, N. J. The First Higher Stasheff-Tamari Orders are Quotients of the Higher Bruhat Orders. The Electronic Journal of Combinatorics, v. 30, n. 1, p. P1.29, 10 Feb. 2023.