Pierre McKenzie Michael Thomas Heribert Vollmer Extensional Uniformity for Boolean Circuits http://arxiv.org/abs/0805.4072 2008 CoRR abs/0805.4072 db/journals/corr/corr0805.html#abs-0805-4072 informal publication