An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.

Thomas Eiter, Patrick Traxler, Stefan Woltran

Browse the full JELIA paper archive.