@InProceedings{	  KufleitnerLauser13stacs,
  author	= "Manfred Kufleitner and Alexander Lauser",
  title		= "Quantifier Alternation in Two-Variable First-Order Logic
		  with Successor Is Decidable",
  booktitle	= "30th International Symposium on Theoretical Aspects of
		  Computer Science (STACS) 2013, Conference Proceedings",
  pages		= "305--316",
  series	= "Leibniz International Proceedings in Informatics (LIPIcs)",
  isbn		= "978-3-939897-50-7",
  issn		= "1868-8969",
  year		= "2013",
  volume	= "20",
  editor	= "Natacha Portier and Thomas Wilke",
  publisher	= "Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik",
  address	= "Dagstuhl, Germany",
  url		= "http://drops.dagstuhl.de/opus/volltexte/2013/3943",
  doi		= "10.4230/LIPIcs.STACS.2013.305"
}