References
- D. J. Anick. “On the Homology of Associative Algebras.” Trans. Amer. Math. Soc. 296:2 (1986), 641–659.
- G. M. Adelson-Velsky and E. M. Landis. “An Algorithm for the Organization of Information.” Sov. Math. Dokl. 3 (1962), 1259–1263.
- F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
- C. Chenavier, C. Cordero, and S. Giraudo. Generalizations of the Associative Operad and Convergent Rewrite Systems. Higher-Dimensional Rewriting and Algebra, Preprint no. 143 (2018).
- F. Chapoton. Sur le nombre d’intervalles dans les treillis de Tamari. Sém. Lothar. Combin. 55 (2006).
- V. Dotsenko and A. Khoroshkin. “Gröbner Bases for Operads.” Duke Math. J. 153:2 (2010), 363–396.
- S. Gaussent, Y. Guiraud, and P. Malbos. “Coherent Presentations of Artin Monoids.” Compos. Math. 151:5 (2015), 957–998.
- S. Giraudo. “Operads from Posets and Koszul Duality.” Eur. J. Combin. 56C (2016), 1–32.
- S. Giraudo. “Tree Series and Pattern Avoidance in Syntax Trees.” Prepublication (2018).
- V. Ginzburg and M. M. Kapranov. “Koszul Duality for Operads.” Duke Math. J. 76:1 (1994), 203–272.
- E. Hoffbeck. “A Poincaré-Birkhoff-Witt Criterion for Koszul Operads.” Manuscripta Math. 131:1–2 (2010), 87–110.
- S. Huang and D. Tamari. “Problems of Associativity: A Simple Proof for the Lattice Property of Systems Ordered by a Semi-Associative Law.” J. Comb. Theory. A 13 (1972), 7–13.
- D. Knuth. “The Art of Computer Programming.” In Sorting and Searching, vol. 3. Addison Wesley Longman, 1998.
- A. Khoroshkin and D. Piontkovski. “On Generating Series of Finitely Presented Operads.” J. Algebra 426 (2015), 377–429.
- S. Lang. Algebra, third edition. New York: Springer-Verlag, 2002.
- J.-L. Loday and M. Ronco. “On the Structure of Cofree Hopf Algebras.” J. Reine Angew. Math. 592 (2006), 123–155.
- J.-L. Loday and B. Vallette. “Algebraic Operads.” In Grundlehren der mathematischen Wissenschaften, vol. 346, p. xxiv + 634. Heidelberg: Springer, 2012.
- M. H. A. Newman. “On Theories with a Combinatorial Definition of “Equivalence.” Ann. Math. 43:2 (1942), 223–243.
- S. B. Priddy. “Koszul Resolutions.” Trans. Amer. Math. Soc. 152 (1970), 39–60.
- E. S. Rowland. “Pattern Avoidance in Binary Trees.” J. Comb. Theory A 117:6 (2010), 741–758.
- D. Tamari. “The Algebra of Bracketings and Their Enumeration.” Nieuw Arch. Wisk. 10:3 (1962), 131–146.
- G. W. Zinbiel. “Encyclopedia of Types of Algebras 2010.” In Operads and Universal Algebra, Volume 9 of Nankai Ser. Pure Appl. Math. Theoret. Phys., pp. 217–297. Hackensack, NJ: World Scientific Publishing, 2012.