Synonymus Theories in Answer Set Programming and Equilibrium Logic.

David Pearce, Agustn Valverde

Browse the full ECAI paper archive.