Preferred extensions as stable models

Open in new window