Evolutionary Approach for Automatic Programming by Formulas(Special Section of Papers Selected from ITC-CSCC'97)