Journal of symbolic computation. (Academic Press Limited, 1996)