David M. Clark, Maarten Keijzer, Lee Spector: Evolution of algebraic terms 2: Deep drilling algorithm. Int. J. Algebra Comput. 26(6): 1141-1176 (2016)