Redundancy elimination and loop checks for logic programs
scientific article; zbMATH DE number 772334