\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Tronci}(1996)]{Tronci1996} Enrico Tronci. "Equational Programming in Lambda-Calculus via SL-Systems. Part 2." \textit{Theoretical Computer Science} 160, no. 1\&2 (1996): 185--216. DOI: 10.1016/0304-3975(95)00106-9.

\end{thebibliography}

