Computing solutions to algebraic problems using a symbolic versus a schematic strategy - Lee, K. (2011)
10.1007/s11858-010-0265-6