Pierre McKenzie Klaus W. Wagner The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers. 211-244 2007 16 Computational Complexity 3 http://dx.doi.org/10.1007/s00037-007-0229-6 db/journals/cc/cc16.html#McKenzieW07