@article{Gir20,
    author = {Giraudo, S.},
    title = {{Tree series and pattern avoidance in syntax trees}},
    journal = {J. Combin. Theory Ser. A},
    volume = {176},
    year = {2020}
}

@article{KP15,
    author = {Khoroshkin, A. and Piontkovski, D.},
    title = {{On generating series of finitely presented operads}},
    journal = {J. Algebra},
    volume = {426},
    year = {2015},
    pages = {377--429}
}

@article{BGZ17,
    author = {Bendkowski, M. and Grygiel, K. and Zaionc, M.},
    title = {{On the likelihood of normalization in combinatory logic}},
    journal = {J. Logic Comput.},
    volume = {27},
    year = {2017},
    number = {7},
    pages = {2251--2269}
}

@article{DGKRTZ13,
    author = {David, R. and Grygiel, K. and Kozik, J. and Raffalli, C. and Theyssier, G.
        and Zaionc, M.},
    title = {{Asymptotically almost all {$\lambda$}-terms are strongly normalizing}},
    journal = {Log. Meth. Comput. Sci.},
    volume = {9},
    year = {2013},
    number = {1},
    pages = {1:02, 30}
}

@article{Tam62,
    author = {Tamari, D.},
    title = {{The algebra of bracketings and their enumeration}},
    journal = {Nieuw Arch. Wisk.},
    volume = {10},
    number = {3},
    year = {1962},
    pages = {131--146}
}

@article{Kre72,
    author= {Kreweras, G.},
    title = {{Sur les partitions non crois\'ees d'un cycle}},
    journal = {Discrete Math.},
    volume = {1},
    year = {1972},
    number = {4},
    pages = {333--350}
}

@article{Sta75,
    author = {Stanley, R. P.},
    title = {{The Fibonacci lattice}},
    journal = {Fibonacci Quart.},
    volume = {13},
    year = {1975},
    number = {3},
    pages = {215--232}
}

@article{BP06,
    author = {Baril, J. L. and Pallo, J. M.},
    title = {{The phagocyte lattice of Dyck words}},
    journal = {Order},
    volume = {23},
    year = {2006},
    number = {2-3},
    pages = {97--107}
}

@article{BP08,
    author = {Baril, J. L. and Pallo, J. M.},
    title = {{The pruning-grafting lattice of binary trees}},
    journal = {Theor. Comput. Sci.},
    volume = {409},
    year = {2008},
    number = {3},
    pages = {382--393}
}

@incollection{BEJW17,
    author = {Barendregt, H. and Endrullis, J. and Klop, J. W. and Waldmann, J.},
    title = {{Dance of the starlings}},
    booktitle = {{Raymond Smullyan on self reference}},
    series = {Outst. Contrib. Log.},
    volume = {14},
    pages = {67--111},
    publisher = {Springer, Cham},
    year = {2017}
}

@incollection{Sta17,
    author = {Statman, R.},
    title = {{Some tweets about Mockingbirds}},
    booktitle = {{Raymond Smullyan on self reference}},
    series = {Outst. Contrib. Log.},
    volume = {14},
    pages = {113--122},
    publisher = {Springer, Cham},
    year = {2017}
}

@article{Sta11,
    author = {Statman, R.},
    title = {{To type a Mockingbird}},
    journal = {Unpublished},
    note = {Draft available at \url{http://tlca.di.unito.it/PAPER/TypeMock.pdf}},
    year = {2011}
}

@article{Ros73,
    author = {Rosen, B. K.},
    title = {{Tree-manipulating systems and Church-Rosser theorems}},
    journal = {J. Assoc. Comput. Mach.},
    volume = {20},
    year = {1973},
    pages = {160--187}
}

@article{Sch24,
    author = {Schönfinkel, M.},
    title = {{Über die Bausteine der mathematischen Logik}},
    journal = {Math. Ann.},
    volume = {92},
    pages = {305--316},
    year = {1924}
}

@article{Cur30,
    author = {Curry, H. B.},
    title = {{Grundlagen der Kombinatorischen Logik}},
    journal = {Amer. J. Math.},
    volume = {52},
    year = {1930},
    number = {4},
    pages = {789--834}
}

@article{Wal00,
    author = {Waldmann, J.},
    title = {{The combinator {${\bf S}$}}},
    journal = {Inform. and Comput.},
    volume = {159},
    year = {2000},
    number = {1-2},
    pages = {2--21}
}

@article{Sta89,
    author = {Statman, R.},
    title = {{The word problem for Smullyan's lark combinator is decidable}},
    journal = {J. Symbolic Comput.},
    volume = {7},
    year = {1989},
    number = {2},
    pages = {103--112}
}

@article{Sta00,
    author = {Statman, R.},
    title = {{On the Word Problem for Combinators}},
    journal = {Lect. Notes Comp. Sci., Rewriting Techniques and Applications,
        11th International Conference},
    volume = {1833},
    pages = {203--213},
    year = {2000}
}

@article{SWB93,
    author = {Sprenger, M. and Wymann-Böni, M.},
    title = {{How to decide the lark}},
    journal = {Theoret. Comput. Sci.},
    volume = {110},
    year = {1993},
    number = {2},
    pages = {419--432}
}

@article{PS01,
    author = {Probst, D. and Studer, T.},
    title = {{How to normalize the Jay}},
    journal = {Theoret. Comput. Sci.},
    volume = {254},
    year = {2001},
    number = {1-2},
    pages = {677--681}
}

@incollection{Tay93,
    author = {Taylor, W.},
    title = {{Abstract clone theory}},
    booktitle = {{Algebras and orders}},
    series = {NATO Adv. Sci. I. C-Mat.},
    publisher = {Kluwer Acad. Publ., Dordrecht},
    volume = {389},
    pages = {507--530},
    year = {1993}
}

@book{BN98,
    author = {Baader, F. and Nipkow, T.},
    title = {{Term rewriting and all that}},
    publisher = {Cambridge University Press, Cambridge},
    year = {1998},
    pages = {xii+301}
}

@book{BKVT03,
    title = {{Term Rewriting Systems}},
    author = {Bezem, M. and Klop, J. W. and de Vrijer, R. and Terese},
    series = {Cambridge Tracts in Theoretical Computer Science},
    year = {2003},
    publisher = {Cambridge University Press},
    pages = {884}
}

@book{HS08,
    author = {Hindley, J. R. and Seldin, J. P.},
    title = {{Lambda-calculus and combinators, an introduction}},
    publisher = {Cambridge University Press, Cambridge},
    year = {2008},
    pages = {xii+345}
}

@book{Smu85,
    author = {Smullyan, R.},
    title = {{To Mock a Mockingbird}},
    publisher = {Alfred A. Knopf, Inc.},
    year = {1985},
    pages = {246}
}

@book{Bim11,
    author = {Bimb{\'o}, K.},
    title= {{Combinatory Logic: Pure, Applied and Typed}},
    series = {Discrete Mathematics and Its Applications},
    publisher = {Taylor \& Francis},
    year = {2011}
}

@book{CF58,
    title = {{Combinatory Logic}},
    author = {Curry, H. B. and Feys, R.},
    volume = {1},
    year = {1958},
    publisher = {North-Holland Publishing Company}
}

@misc{Slo,
    author = {Sloane, N. J. A.},
    title = {{The On-Line Encyclopedia of Integer Sequences}},
    note = {\url{https://oeis.org/}},
}