TY  - RPRT
TI  - Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
AU  - Joerg Endrullis
AU  - Clemens Grabmayer
AU  - Dimitri Hendriks
AU  - Jan Willem Klop
PY  - 2009
UR  - https://arxiv.org/abs/0911.1009
ID  - 0911.1009
ER  -