Applying Rewriting Techniques to Groups with Power-Communication-Presentations.

Dieter Wissmann Applying Rewriting Techniques to Groups with Power-Communication-Presentations. 378-389 1988 conf/issac/1988 ISSAC db/conf/issac/issac88.html#Wissmann88