José Júlio Alferes, Federico Banti, Antonio Brogi:
Well Founded Semanics for Logic Program Updates.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-84
@inproceedings{REWERSE-RP-2004-84, author = {Jos\'{e} J\'{u}lio Alferes and Federico Banti and Antonio Brogi}, title = {Well Founded Semanics for Logic Program Updates}, booktitle = {Proceedings of The IX Ibero-American Conference on Artificial Intelligence, Puebla, Mexico (22nd--26th November 2004)}, year = {2004}, volume = {3315}, series = {LNAI}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-84} }