A Revised Concept of Safety for General Answer Set Programs.

Pedro Cabalar, David Pearce, Agustn Valverde

Browse the full LPNMR paper archive.