We introduce normalised rewriting, a new rewrite relation. It generalises former notions of rewriting modulo E, dropping some conditions on E. For example , E can now be the theory of identity, idempo-tency, the theory of Abelian groups, the theory of com-mutative rings. We give a new completion algorithm for normalised rewriting. It contains as an instance the usual AC completion algorithm, bu...

Centre for Values, Ethics and the Law in Medicine, University of Sydney, NSW. Ian H Kerridge, BMed(Hons), MPhil, FRACP, FRCPA, Associate Professor of Bioethics, and Director; John R McPhee, BCom(Hons)(LegStud), Honorary Associate in Health Law. Reprints will not be available from the authors. Correspondence: Associate Professor Ian H Kerridge, Centre for Values, Ethics and the Law in Medicine, ...