NIEUWENBORGHand VERMEIR. Preferred Answer Sets for Ordered Logic Programs. no. 1-2, Cambridge University Press (CUP), 2006, doi:10.1017/s1471068404002315.