Mauricio Osorio Fernando Zacarias New properties on the update operator\oplus. 2003 conf/asp/2003 Answer Set Programming http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-78/asp03-final-osorio-update.pdf db/conf/asp/asp2003.html#OsorioZ03