An algorithm to compute the set of characteristics of a system of polynomial equations over the integers. - Rosemary Baines; Peter Vámos (J. Symb. Comput., 2003)