Satisfiability of equations in free groups is in PSPACE

Claudio Gutiérrez. Satisfiability of equations in free groups is in PSPACE. In STOC. pages 21-27, 2000. [doi]

Authors

Claudio Gutiérrez

This author has not been identified. Look up 'Claudio Gutiérrez' in Google