@InProceedings{	  WaechterW20,
  author	= "Jan Philipp W{\"{a}}chter and Armin Wei{\ss}",
  title		= "An Automaton Group with {PSPACE}-Complete Word Problem",
  booktitle	= "37th International Symposium on Theoretical Aspects of
		  Computer Science, {STACS} 2020, March 10-13, 2020,
		  Montpellier, France",
  pages		= "6:1--6:17",
  year		= "2020",
  publisher	= "Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik",
  url		= "https://doi.org/10.4230/LIPIcs.STACS.2020.6",
  doi		= "10.4230/LIPIcs.STACS.2020.6",
  timestamp	= "Thu, 19 Mar 2020 10:24:28 +0100",
  biburl	= "https://dblp.org/rec/conf/stacs/WachterW20.bib",
  bibsource	= "dblp computer science bibliography, https://dblp.org"
}