@inbook {b1279c88185e4842902888bf6400e8ab,
	title = {Semantics for dynamic logic programming: A principle-based approach},
	booktitle = {Lecture Notes in Computer Science},
	volume = {2923},
	year = {2004},
	note = {n/a},
	month = {1},
	pages = {8{\textendash}20},
	abstract = {n/a},
	isbn = {3-540-20721-X},
	doi = {10.1007/978-3-540-24609-1_4},
	author = {Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
