@InProceedings{	  IdziakKKW22,
  author	= "Pawel M. Idziak and Piotr Kawalek and Jacek Krzaczkowski
		  and Armin Wei{\ss}",
  title		= "Satisfiability problems for finite groups",
  booktitle	= "{ICALP} 2022, Proceedings",
  series	= "LIPIcs",
  volume	= "229",
  pages		= "127:1--127:20",
  publisher	= "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
  year		= "2022",
  note		= "To appear"
}