Adrian Craciun Madalina Hodorog Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. 41-47 2007 SYNASC http://dx.doi.org/10.1109/SYNASC.2007.55 conf/synasc/2007 db/conf/synasc/synasc2007.html#CraciunH07