@inproceedings{b5d0d4dc8ff64801bb7b17c5066af8f6,
title = "Logged rewriting and identities among relators",
abstract = "We present a version of the Knuth-Bendix string rewriting procedure for group computations and apply it to the problem of computing the module of identities among relators. By lifting rewriting into the appropriate higher dimension we provide a methodology which is alternative and complementary to the popular geometric approach of pictures.",
author = "Anne Heyworth and Wensley, \{Christopher D.\}",
year = "2003",
language = "English",
isbn = "0521537398",
volume = "1",
series = "London Mathematical Society Lecture Note Series",
publisher = "Cambridge University Press",
pages = "256--276",
editor = "Campbell, \{C. M.\} and Robertson, \{E. F. \} and Smith, \{G. C. \}",
booktitle = "Groups St Andrews 2001 in Oxford",
address = "United Kingdom",
}