Quantified Equilibrium Logic and Foundations for Answer Set Programs.

David Pearce, Agustn Valverde

Browse the full ICLP paper archive.