Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups.

Jrgen Avenhaus, Dieter Wissmann

Browse the full ISSAC paper archive.