Mauricio Osorio, Fernando Zacarias. New properties on the update operator/oplus. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003. Volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
@inproceedings{OsorioZ03,
title = {New properties on the update operator/oplus},
author = {Mauricio Osorio and Fernando Zacarias},
year = {2003},
url = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-78/asp03-final-osorio-update.pdf},
researchr = {https://researchr.org/publication/OsorioZ03},
cites = {0},
citedby = {0},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003},
editor = {Marina De Vos and Alessandro Provetti},
volume = {78},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}