Preferred extensions as stable models