Speeding up the GVW algorithm via a substituting method
scientific article; zbMATH DE number 7032435
scientific article