Removing Redundancy from Answer Set Programs.

Tomi Janhunen

Browse the full ICLP paper archive.