A node-addition model for symbolic factorization. - Kincho H. Law; Steven J. Fenives (ACM Trans. Math. Softw., 1986)