@article {DBLP:journals/scp/NevesMMB16,
	title = {Proof theory for hybrid(ised) logics},
	journal = {Sci. Comput. Program.},
	volume = {126},
	year = {2016},
	note = {n/a},
	pages = {73{\textendash}93},
	abstract = {n/a},
	doi = {10.1016/j.scico.2016.03.001},
	url = {http://dx.doi.org/10.1016/j.scico.2016.03.001},
	author = {Renato Neves and Alexandre Madeira and Manuel A. Martins and Lu{\'{\i}}s Soares Barbosa}
}