Madalina Hodorog Adrian Craciun Scheme-Based Systematic Exploration of Natural Numbers. 23-34 2006 conf/synasc/2006 SYNASC http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.67 db/conf/synasc/synasc2006.html#HodorogC06