Factor Varieties and Symbolic Computation.

Antonino Salibra, Giulio Manzonetto, Giordano Favro

Browse the full LICS paper archive.