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}
}