\input zb-basic
\input zb-ioport
\iteman{io-port 70561820}
\itemau{Aoto, Takahito; Toyama, Yoshihito}
\itemti{A reduction-preserving completion for proving confluence of non-terminating term rewriting systems}
\itemso{RTA, 91-106 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.4230/LIPIcs.RTA.2011.91}
\end