Barbosa LS, Martins M, Carreteiro M.? 2014.??A Hilbert- Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information. 23(1):31-52.