Jean-Camille Birget, Stuart W. Margolis, John C. Meakin, Pascal Weil. PSPACE-Completeness of Certain Algorithmic Problems on the Subgroups of Free Groups. In Serge Abiteboul, Eli Shamir, editors, Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Volume 820 of Lecture Notes in Computer Science, pages 274-285, Springer, 1994.
Abstract is missing.