Satisfiability of equations in free groups is in PSPACE.

Claudio Gutierrez

Browse the full STOC paper archive.