@conference {DBLP:conf/sbmf/SantiagoBMM16,
	title = {On Interval Dynamic Logic},
	booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
	year = {2016},
	note = {n/a},
	pages = {129{\textendash}144},
	abstract = {n/a},
	doi = {10.1007/978-3-319-49815-7_8},
	url = {http://dx.doi.org/10.1007/978-3-319-49815-7_8},
	author = {Regivan H. N. Santiago and Benjam{\'{\i}}n R. C. Bedregal and Alexandre Madeira and Manuel A. Martins}
}