\begin{thebibliography}{1}

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

\bibitem[{Intrigila et~al.}(2001){Intrigila, Salvo \& Sorgi}]{Intrigila_etal2001} Benedetto Intrigila, Ivano Salvo, and Stefano Sorgi. "A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser." \textit{Information and Computation} 171, no. 2 (2001): 137--155. Academic Press, Inc.. ISSN: 0890-5401. DOI: 10.1006/inco.2001.2945.

\end{thebibliography}

