@inbook {f152b1a782f447abaadeb219e0858c22,
	title = {A Logic Programming System for Evolving Programs with Temporal Operators},
	booktitle = {Lecture Notes in Computer Science},
	volume = {5816},
	year = {2009},
	note = {n/a},
	month = {1},
	pages = {101{\textendash}112},
	abstract = {n/a},
	isbn = {978-3-642-04685-8},
	doi = {10.1007/978-3-642-04686-5_9},
	author = {Royval, {Alfredo Gabaldon} and Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
