An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. - Ben-Naim, Jonathan; Benferhat, Salem; Papini, Odile; Würbel, Éric (2004)