An Implementation for Recognizing Rule Replacements in Non-Ground Answer Set Programs (2006)

by T Eiter, P Trazler, S Woltran
Venue:in M. Fischer at al (eds), Jelia 2006, LNAI 4160