Memory management in the PoSSo solver (1996)

by G Attardi, T Flagella
Venue:J. Symbolic Computation