Tight area bounds and provably good AT{sup}2 bounds for sorting circuits. Revised | lit.salon