Peter Bürgisser. On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds. In Wolfgang Thomas, Pascal Weil, editors, STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings. Volume 4393 of Lecture Notes in Computer Science, pages 133-144, Springer, 2007. [doi]
Abstract is missing.