@article {718889d4320c4ae7bac1a9f80bab9ff9,
	title = {The Refined Extension Principle for Semantics of Dynamic Logic Programming},
	journal = {Studia Logica},
	volume = {79},
	number = {1},
	year = {2005},
	note = {n/a},
	month = {1},
	pages = {7{\textendash}32},
	publisher = {Springer Science Business Media},
	abstract = {n/a},
	issn = {0039-3215},
	author = {Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}}
}
