A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Based on a PSPACE-completeness result for free monoids with involution  it is shown that the existential theory of equations with rational constraints in plain groups is PSPACE-complete. As a corollary this settles a question from  .doi:10.1142/s0218196702000870 fatcat:7hkbao6ievaobcmyuedcexj7ii