@InProceedings{	  FleischerKmfcs18:short,
  author	= "Lukas Fleischer and Manfred Kufleitner",
  title		= "Testing Simon's congruence",
  booktitle	= "MFCS 2018, Proceedings",
  pages		= "62:1--62:13",
  series	= "LIPIcs",
  isbn		= "978-3-95977-086-6",
  year		= "2018",
  volume	= "117",
  publisher	= "Dagstuhl Publishing",
  doi		= "10.4230/LIPIcs.MFCS.2018.62"
}