Marco Cadoli Francesco M. Donini Paolo Liberatore Marco Schaerf k-Approximating Circuits. 913-917 2006 55 IEEE Trans. Computers 7 http://doi.ieeecomputersociety.org/10.1109/TC.2006.105 db/journals/tc/tc55.html#CadoliDLS06