@inbook {af8dfb0bd6824246945946b63febb345,
	title = {Update-programs can update programs},
	booktitle = {Lecture Notes in Artificial Intelligence},
	volume = {1216},
	year = {1997},
	note = {n/a},
	month = {1},
	pages = {110{\textendash}131},
	abstract = {n/a},
	doi = {10.1007/BFb0023804},
	author = {Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
