@InProceedings{	  FleischerEtAl14csr:short,
  author	= "Lukas Fleischer and Manfred Kufleitner and Alexander
		  Lauser",
  title		= "Block Products and Nesting Negations in $\mathrm{FO}^{2}$",
  booktitle	= "CSR 2014, Proceedings",
  publisher	= "Springer",
  series	= "LNCS",
  year		= "2014",
  volume	= "8476",
  pages		= "176--189",
  doi		= "10.1007/978-3-319-06686-8_14"
}