Redundancy detection in logic programs is undecidable.

Zheng Zhou, Benjamin W. Wah

Browse the full COMPSAC paper archive.