A theoretical and empirical analysis of approximation in symbolic problem solving door P.C. Groot