@inbook {2cf5bbc99bf0462698a2aa766540f34a,
	title = {Dynamic Logic Programming},
	booktitle = {Representation and Reasoning},
	year = {1998},
	note = {n/a},
	month = {1},
	pages = {98{\textendash}109},
	publisher = {Morgan Kaufmann},
	organization = {Morgan Kaufmann},
	abstract = {n/a},
	isbn = {1-55860-554-1},
	author = {Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
