Look at our paper on CMM, for an application in Computer Algebra: ftp://ftp.di.unipi.it/pub/Papers/attardi/SPE.ps.gz -- Beppe