Fabrice Noilhan Miklos Santha Semantical Counting Circuits. 217-229 2003 36 Theory Comput. Syst. 3 http://dx.doi.org/10.1007/s00224-003-1023-8 db/journals/mst/mst36.html#NoilhanS03