\input zb-basic
\input zb-ioport
\iteman{io-port 70960147}
\itemau{Lohrey, Markus}
\itemti{On the confluence of trace rewriting systems}
\itemso{FSTTCS, 319-330 (1998).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/b71635}
\end