@inbook {9af422d13f6646cabc0bcddabff8bd02,
	title = {Dynamic Logic Programming},
	booktitle = {Declarative Programming},
	year = {1998},
	note = {n/a},
	month = {1},
	pages = {393{\textendash}408},
	abstract = {n/a},
	author = {Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
