TY  - RPRT
TI  - Logged Rewriting Procedures with Application to Identities Among Relations
AU  - Anne Heyworth
AU  - Christopher D Wensley
PY  - 1999
UR  - https://arxiv.org/abs/math/9907082
ID  - math/9907082
ER  -