A Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering
scientific article; zbMATH DE number 5732995