Logged Rewriting Procedures with Application to Identities Among Relations - Anne Heyworth; Christopher D Wensley (1999)