TY - JOUR T1 - Symbolic Evaluation with Structural Recursive Symbolic Constants JF - Sci. Comput. Program. Y1 - 1987 A1 - Fosca Giannotti A1 - Attilio Matteucci A1 - Dino Pedreschi A1 - Franco Turini VL - 9 ER -