Unique Normal Forms in Term Rewriting Systems with Repeated Variables

Paul Chew

Browse the full STOC paper archive.