@InProceedings{	  DiekertPS20,
  author	= "Volker Diekert and Igor Potapov and Pavel Semukhin",
  editor	= "Ioannis Z. Emiris and Lihong Zhi",
  title		= "Decidability of membership problems for flat rational
		  subsets of {GL(2,Z)} and singular matrices",
  booktitle	= "Proc.~International Symposium on Symbolic and Algebraic
		  Computation, {ISSAC} '20, Kalamata, Greece, July 20-23,
		  2020",
  pages		= "122--129",
  publisher	= "ACM",
  year		= "2020",
  url		= "https://doi.org/10.1145/3373207.3404038",
  doi		= "10.1145/3373207.3404038",
  timestamp	= "Tue, 04 Aug 2020 17:31:25 +0200",
  biburl	= "https://dblp.org/rec/conf/issac/DiekertPS20.bib",
  bibsource	= "dblp computer science bibliography, https://dblp.org"
}