A simple proof of the polylog counting ability of first-order logic: guest column.

Arnaud Durand Clemens Lautemann Malika More A simple proof of the polylog counting ability of first-order logic: guest column. 40-45 2007 38 SIGACT News 4 http://doi.acm.org/10.1145/1345189.1345199 db/journals/sigact/sigact38.html#DurandLM07