@InProceedings{ SenizerguesW18, author = "G{\'{e}}raud S{\'{e}}nizergues and Armin Wei{\ss}", title = "The Isomorphism Problem for Finite Extensions of Free Groups Is In {PSPACE}", booktitle = "45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic", pages = "139:1--139:14", year = "2018", crossref = "DBLPicalp2018", url = "https://doi.org/10.4230/LIPIcs.ICALP.2018.139", doi = "10.4230/LIPIcs.ICALP.2018.139", publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik", timestamp = "Thu, 02 May 2019 17:40:19 +0200", biburl = "https://dblp.org/rec/bib/conf/icalp/SenizerguesW18", bibsource = "dblp computer science bibliography, https://dblp.org" }