Early Algebraization - Jinfa Cai, Eric Knuth; Cai, Jinfa; Knuth, Eric J.; Knuth, Eric (Springer Berlin Heidelberg, 2011)