Lacerda, Wilian, AND Braga, Antônio. " Synthesis of digital circuits with ability to generalize" INFOCOMP Journal of Computer Science [Online], Volume 9 Number 2 (1 June 2010)