Fabrice Noilhan Miklos Santha Semantical Counting Circuits. 87-101 2000 conf/ciac/2000 CIAC http://link.springer.de/link/service/series/0558/bibs/1767/17670087.htm db/conf/ciac/ciac2000.html#NoilhanS00