Jaakko Astola Radomir S. Stankovic Application of Covering Codes for Reduced Representations of Logic Functions. 304-311 2009 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.72 conf/ismvl/2009 db/conf/ismvl/ismvl2009.html#AstolaS09