A Hilbert-Style Axiomatisation for Equational Hybrid Logic. - Luís Soares Barbosa; Manuel A. Martins 001; Marta Carreteiro (J. Log. Lang. Inf., 2014)