%0 Journal Article %J Sci. Comput. Program. %D 1987 %T Symbolic Evaluation with Structural Recursive Symbolic Constants %A Fosca Giannotti %A Attilio Matteucci %A Dino Pedreschi %A Franco Turini %B Sci. Comput. Program. %V 9 %P 161-177 %G eng