The Nielsen reduction and P-complete problems in free groups

Thue systems as rewriting systems

Journal of Symbolic Computation

A method for enumerating cosets of a group presented by a canonical system

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation

Parallel computation over hyperbolic groups

STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing

Constructing canonical presentations for subgroups of context-free groups in polynomial time (extended abstract)

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

A note on Nielsen reduction and coset enumeration

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation

Context-Sensitive decision problems in groups

DLT'04 Proceedings of the 8th international conference on Developments in Language Theory