@inproceedings{CSL-2016-0001HKV,
	author        = "Arnaud Durand 0001 and Anselm Haak and Juha Kontinen and Heribert Vollmer",
	booktitle     = "{Proceedings of the 25th EACSL Annual Conference on Computer Science Logic}",
	doi           = "10.4230/LIPIcs.CSL.2016.20",
	isbn          = "978-3-95977-022-4",
	pages         = "16",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{Descriptive Complexity of #AC0 Functions}",
	year          = 2016,
}