\begin{thebibliography}{1}

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

\bibitem[{B{\~A}{\textparagraph}hm et~al.}(1989){B{\~A}{\textparagraph}hm, Piperno \& Tronci}]{BAPhm_etal1989} Corrado B{\~A}{\textparagraph}hm, Adolfo Piperno, and Enrico Tronci. "Solving Equations in $\lambda$-calculus." In \textit{Proc. of: Logic Colloquium 88}. Padova - Italy, 1989.

\end{thebibliography}

