Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps

@inproceedings{Verma1997UniqueNF,
  title={Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps},
  author={Rakesh M. Verma},
  booktitle={FCT},
  year={1997}
}