Characteristic set method for Laurent differential polynomial systems
scientific article; zbMATH DE number 6842715